Które z poniżej podanych relacji NIE SĄ tautologią Mika: Które z poniżej podanych relacji NIE SĄ tautologią 1)(p ∨ q ∨ r) ⇒ {∼ p ⇒ [(q ∨ r)∧ ∼ p]} 2)p ∨ [(∼ p ∧ q) ∨ (∼ p∧ ∼ q)] 3)[(p ⇒ q) ∨ (p ⇒ r) ∨ (p ⇒ s)] ⇒ [p ⇒ (q ∨ r ∨ s)] 4)(p ⇒ q) ⇒ [(p ∧ r) ⇒ q] 5)[(p ∨ q) ⇒ (p∨ ∼ q)] ⇒ (∼ p ∨ q)

kerajs: W czym jest problem? Zwyczajnie podstaw wszystkie możliwe wartości zdań i zobacz czy zawsze wyrażenie jest prawdziwe.

Mika: a powiedz mi chociaż które NIE SĄ tautologią to spróbuję to sobie jakoś rozpisać

Mika: mam problem z 3 i 5

ite: Druga (nie)relacja się ładnie rozwiązuje: 2) p ∨ [(∼ p ∧ q) ∨ (∼ p ∧ ∼ q)] ≡ p ∨ [∼ p ∧ (q ∨ ∼ q)] ≡ p ∨ (∼ p ∧ 1) ≡ p ∨ ∼ p

kerajs: ''Mika: mam problem z 3 i 5'' A konkretnie, to co jest tam problemem? 3 to tautologia, a 5 nią nie jest.