Выполняется ли дистрибутивность для импликации относительно импликации? Другими словами,равносильны ли высказывания A → (B → C) и (A → B) → (A → C)?

A → (B → C) ≡?(A → B) → (A → C)
A → (B → C) ≡ ¬A ∨ ¬B ∨ C
(A → B) → (A → C) ≡ A ∧ ¬B ∨ ¬A ∨ C
При C ≡ 1 : A → (B → C) ≡ 1 ≡ (A → B) → (A → C)
При A ≡ 0 : A → (B → C) ≡ 1 ≡ (A → B) → (A → C)
При C ≡ 0 и A ≡ 1 : A → (B → C) ≡ ¬B ≡ (A → B) → (A → C)
Получим, что A → (B → C) ≡ (A → B) → (A → C) ⇒ дистрибутивность для импликации
относительно импликации выполняется


info@mycod.net   Карта сайта   Правообладателям
Заявка на расчет
×

или напишите нам прямо сейчас:

Написать в MAX
Написать в Telegram
Написать в WhatsApp