?????? monia7625: sprawdź że podane zdanie jest prawem rachunku zdań: [(p⇒q)⋀p]⇒q

Saizou : no to sprawdź czy jest to tautologia, robisz tabelkę albo metodą skróconą

monia7625: miałam z tym do czynienia 10 lat temu i nie wim kompletnie o co chodzi, to praca nie dla mmnie POMOŻESZ

Saizou : jak miałaś to wróć do notatek rozważ p q 0 0 0 1 1 1 1 0

monia7625: Gdybym jeszcze je miała to bym sprawdziła, a z tego co w necie przeczytałam na ten temat to nie rozumiem,kiedyś chyba inaczej uczono

Saizou : zrobię za ciebie przykład z p=q=1 mamy zdanie [(p⇒q)⋀p]⇒q zatem 1→1 ma wartość 1 (czyli jest prawdą ) (p→q) 1 ∧ 1 też jest prawdą (p→q)∧p 1→1 prawda [(p→q)∧p]→q teraz jeśli zawsze ci wyjdzie prawda to jest to tautologia

monia7625: dziękuję