tabele zero-jedynkowe unicorn792: Mam wielką prośbę.. Mógłby ktoś mi stworzyć tebele zero−jedynkowe dla: −zasady wyłączonego środka −zasada wyłączonej sprzeczności ? I to wytłumaczyć? Od wczoraj rysuje te głupie tabele i za każdym razem wychodzi mi inna.. Pomóżcie, bo nie rozumiem..

Basia: prawo wyłączonego środka mówi, że jedno ze zdań p i ~p musi być prawdziwe co jest równoznaczne z tym, że alternatywa p∨~p jest zawsze prawdziwa tabelka: p ~p p∨~p 1 0 1 0 1 1 i to wszystko prawo wyłączonej sprzeczności mówi, że że jedno ze zdań p i ~p musi być fałszywe co jest równoznaczne z tym, że koniunkcja p∧~p jest zawsze fałszywa tabelka: p ~p p∧~p 1 0 0 0 1 0 i to wszystko

unicorn792: dziekuje bardzo zrozumialam

Basia: cieszę się

unicorn792: a wytłumaczyłabyś mi jeszcze prawo kontrapozycji?

Basia: prawo kontrapozycji mówi, że implikacje [ p ⇒ q] i [ ~q ⇒ ~p ] są równoważne to zwykle służy do tzw. dowodów "nie wprost" tabelka: p q p⇒q ~q ~p ~q⇒~p 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 1 czyli mamy udowodnione, że [ p⇒ q ] ⇔ [ ~q ⇒ ~p ]

unicorn792: dobrze, z mogłabym jeszcze prosić o kwadrat logiczny ?

Basia: poczytaj tutaj http://www.math.edu.pl/kwadrat-logiczny wydaje mi się, że to jest dość jasno opisane chodzi o to, że te implikacje, które leżą na przekątnych są równoważne natomiast jeżeli weźmiemy dwie leżące przy tym samym boku i zbudujemy z nich koniunkcję, to zawsze otrzymamy równoważność p⇔q np. [ (p⇒q)∧(q⇒p) ] ⇔ [ p⇔q ] [ (p⇒q)∧(~p⇒~q) ] ⇔ [ (p⇒q)∧(q⇒p) ] ⇔ [ p⇔q ]

unicorn792: super, dziękuję