podstawy logiki logika: Sprawdź, czy implikacja jest: a) łączna, b) przechodnia Mogę prosić o jakąś wskazówkę?

Leszek: a) ( p ⇒ ( q⇒r)) ⇔ (( p ⇒ q) ⇒r ) Mozesz to sprawdzic tabelka zero−jedynkowa

WhiskeyTaster: (a) To jak z dodawaniem Czy (a + b) + c = a + (b + c)? Analogicznie mamy zmienne zdaniowe p, q, r i sprawdzamy, czy ((p ⇒ q) ⇒ r) ⇔ (p ⇒ (q ⇒ r)) (b) Tutaj analogicznym przykładem jest przechodniość nierówności: a > b i b > c, to a > c? Spróbuj analogicznie zrobić: p ⇒ q ∧ q ⇒ r, to czy p ⇒ r?

logika: Czyli implikacja nie jest ani łączna, ani przechodnia, tak?

ite: To nie jest właściwa odpowiedź.

logika: Dlaczego?

ite: Czy sprawdziłeś/aś łączność i przechodniość tak jak w podpowiedziach, np. metodą zero−jedynkową? W obu przypadkach otrzymujesz fałsz?

PW: b) Zrób to co proponował Leszek − zbuduj tabelkę dla p⇒(q⇒r) oraz dla (p⇒q)⇒r. Jeżeli wartości logiczne będą takie same dla tych samych p, q, r, to będzie oznaczać przechodniość implikacji.

PW: Łączność, psia krew.