Автор Тема: Следование  (Прочитано 123 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн flogic

  • Пользователь
  • Сообщений: 1
    • Просмотр профиля
Следование
« : Март 22, 2018, 05:46:03 pm »
Привет всем!
Помогите решить матлогику. Очень нужно. Заранее благодарю.
Следует ли из формулы \(  \displaystyle p \to q \to p  \) формула \(  \displaystyle q \to ( p \to (p \to q))  \)?
 

Оффлайн Fedor1995

  • Модератор
  • Сообщений: 16
  • Поблагодарили: 10 раз(а)
    • Просмотр профиля
Re: Следование
« Ответ #1 : Март 22, 2018, 06:06:29 pm »
А что у вас там со скобками? Формулы \(  \displaystyle p \to (q \to p)  \) и \(  \displaystyle (p \to q) \to p  \) не равносильны.