[Mordercza_Konewka]

Mireczki, jak sprawdzić czy to zdanie jest tautologią/jest spełnialne/sprzeczne? Bo zakładam sobie np, że jest nieprawdziwe i nigdzie nie mogę dojść dalej. W poprzednich zawsze wychodziła wtedy sprzeczność albo nie i było fajnie (╯︵╰,)
Po prostu tabelkę machnąć i dla każdej kombinacji sprawdzić czy da się otrzymać na końcu prawdę/fałsz czy jest jakiś mądrzejszy sposób?
#matematyka #logika #pytaniedoeksperta

[Tatiagla]

@Mordercza_Konewka: podstawiasz jedynki i zera do parametrów i sprawdzasz czy jakas kombinacja wyjdzie fałszem.Jeśli za każdym razem wychodzi poprawny wynik, bez fałszu, to wtedy jest tautologią.

[m.....e]

@Mordercza_Konewka:
1. Zrób tabelkę i rozpisz równanie dla każdej możliwej kombinacji pqrs. Jak zawsze jest prawda, to jest tautologią.
2. Spróbuj zepsuć. Implikacja jest fałszywa tylko gdy z fałszu wynika prawda, więc (p <=> r) v (q <=> s) musiałoby być fałszem a to po drugiej stronie prawdą. Jak wyjdzie Ci, że istnieje psująca kombinacja, to wiesz, że nie masz tautologii.

[Mordercza_Konewka]

@Tatiagla: Czyli tylko rozpisać? Miałem nadzieję, że jest jakiś magiczny sposób, no trudno, przede mną tylko 30 przykładów xd
Dzięki ʕ•ᴥ•ʔ

[Irrichi]

@Mordercza_Konewka: Wychodzi fałsz dla p=r=q=0 i s=1 , więc nie jest tautologią.

[Tatiagla]

@Mordercza_Konewka: Staraj się podawać takie przykłady, żeby wyszedł fałsz. Jeśli masz założmy, że p jest równe q i dla p masz 1 a dla q masz 0, to oczywistym jest, że nei są równe, więc fałsz. Nie pamiętam jak to się dokladnie nazywało, ale to chyba było coś z dowodzeniem, przez zaprzeczanie.

[Mordercza_Konewka]

@Tatiagla: Masz pewnie na myśli dowód nie wprost? :P

[Tatiagla]

@Mordercza_Konewka: tak :)