Докажите, что составное высказывание (A → B) ∨ (B → C) является тавтологией.

A → (B → C) ≡?(A → B) → C

A → (B → C) ≡ ¬A ∨ ¬B ∨ C

(A → B) → C ≡ A ∧ ¬B ∨ C

При A ≡ 0, B ≡ 0, C ≡ 0: A → (B → C) ≡ 1, (A → B) → C ≡ 0 ⇒ импликация не ассоциативна


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

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

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