Metoda zero-jedynkowa dla zdań składowych p, q, r, s sprawdzająca czy badane zdanie jest tautologią
Budujemy tabelę tzw. zero-jedynkową i zapisujemy wszystkie możliwe wartości logiczne zdań składowych p, q, r, s, które zdania te mogą przyjmować niezależnie od siebie. Następnie zapisujemy wartości logiczne zdań, z których zbudowane jest zdanie badane. Jeśli w ostatniej kolumnie wartości logiczne badanego zdania są jedynie jedynkami, to zdanie jest Tautologią. Jeśli w ostatniej kolumnie wartości logiczne badanego zdania są jedynie zerami, to zdanie jest Kontrtautologią.
Jeśli w ostatniej kolumnie wartości logiczne badanego zdania są jedynkami lub zerami, to zdanie nie jest Tautologią i nie jest Kontrtautologią.
Wyznaczyć brakujące wartości logiczne zdań składowych.
Otrzymaliśmy w ostatniej kolumnie jedynie jedynki, zatem badane zdanie jest tautologią.
W jaki sposób wypisać wszystkie możliwości liczbowe zdań składowych p, q, r, s?
W tym celu można posłużyć się drzewem lub schematem, który przedstawiłem w powyższej tabeli.
1. Schematy zdań
2. Tabelki zero-jedynkowe i ich zastosowanie
3. Tautologie i Kontrtautologie
Brak komentarzy:
Publikowanie komentarza