Polecenie
Zbadaj, które z poniższych funkcji zdaniowych są
Tautologią lub inaczej prawem logicznym nazywamy funkcję zdaniową, formułę, która zawsze jest prawdziwa. Inaczej, jeśli bez względu na wartości logiczne zmiennych zdaniowych ma wartość logiczną 1.
Uwaga
Najłatwiej skorzystać z metody wypełniania tabelki wartościami logicznymi poszczególnych zdań składowych. Należy stworzyć tabelkę, w której umieścimy w kolumnach kolejne zdania od najprostszych po całą formułę.
Uzupełniamy wartości logiczne poszczególnych zdań. W wierszach muszą się znaleźć wszystkie możliwości wartości logicznych zdań p,q,r.
Wskazówki
Wartości logiczne zdań
Ćwiczenia
1. (p∨q)⇒(p⇒q)
Rozwiązanie - Animacja 1
Zdanie w ostatniej kolumnie jest tautologią, gdy ostatnia kolumna składa się z samych wartości 1. To oznacza, że jest zawsze prawdziwa bez względu na wartości logiczne zdań składowych.
Opis działania animacji
Najedź na odpowiednią wartość logiczną a wyświetli się komentarz oraz podświetlą te wartości logiczne, których dotyczy dana formuła.
Odpowiedź
Ponieważ prawdziwość danego zdania zależy od wartosci logicznej poszczególnych zdań prostych, zatem zdanie to nie jest tautologią. (Widać to w drugim wierszu, gdzie dostaliśmy na końcu wartość logiczną zdania 0).
2. (p⇒q)⇒(∼p∨∼q)
Rozwiązanie - Animacja 2
Opis działania animacji
Najedź na odpowiednią wartość logiczną a wyświetli się komentarz oraz podświetlą te wartości logiczne, których dotyczy dana formuła.
Odpowiedź
Formuła nie jest tautologią.
3. [p∧(q∨r)]⇔[(p∧q)∨(p∧r)]
Rozwiązanie - Animacja 3
Opis działania animacji
Najedź na odpowiednią wartość logiczną a wyświetli się komentarz oraz podświetlą te wartości logiczne, których dotyczy dana formuła.
Odpowiedź
Formuła jest tautologią.
Polecenie
Czy podane zdania logiczne są tautologiami?
1. [(p⇒q)∧(p∨q)]⇔[q⇒p]
Odpowiedź
Podana formuła nie jest tautologią.
Rowiązanie - ćwiczenie interaktywne
Uwaga
Uzupełnij ostatnią kolumnę tabeli. Klikając przycisk "Sprawdź" sprawdzisz poprawność zadania. Jeśli Twoja odpowiedź nie będzie prawidłowa, skorzystaj z podpowiedzi w postaci uzupełnionej tabeli pomocniczej. Możesz poprawić swoją odpowiedź i sprawdzić poprawność klikając ponownie "Sprawdź."
2. [∼(p∧q)]⇔[(∼p)∨(∼q))
Odpowiedź
Podana formuła jest tautologią.
Rozwiązanie - ćwiczenie interaktywne
Uwaga
Uzupełnij ostatnią kolumnę tabeli. Klikając przycisk "Sprawdź" sprawdzisz poprawność zadania. Jeśli Twoja odpowiedź nie będzie prawidłowa, skorzystaj z podpowiedzi w postaci uzupełnionej tabeli pomocniczej. Możesz poprawić swoją odpowiedź i sprawdzić poprawność klikając ponownie "Sprawdź."
3. [∼(p⇒q)]⇒[(∼p)⇒(∼q)]
Odpowiedź
Podana formuła jest tautologią.
Rozwiązanie - ćwiczenie interaktywne
Uwaga
Uzupełnij tabelę w zależności od wartości logicznych zdań składowych p i q. Kliknij przycisk "Sprawdź". Jeśli chcesz zobaczyć rozwiązanie kliknij przycisk "Rozwiązanie".
4. [p∨(q∧r)]⇔[(p∨q)∧(p∨r)]
Odpowiedź
Podana formuła jest tautologią.
Rozwiązanie - ćwiczenie interaktywne
Uwaga
Uzupełnij ostatnią kolumnę tabeli w zależności od wartości logicznych zdań składowych p i q. Aby sprawdzić poprawność odpowiedzi kliknij przycisk "Sprawdź". Możesz skorzystać z podpowiedzi w postaci tabeli pomocniczej. Po uzupełnieniu sprawdź poprawność odpowiedzi klikając ponownie "Sprawdź". Jeśli chcesz zobaczyć rozwiązanie kliknij przycisk "Rozwiązanie".
5. ∼q∧p⇔∼p∨q
Odpowiedź
Formuła nie jest tautologią.
Rozwiązanie
| p | q | ∼p | ∼q | ∼q∧p | ∼p∨q | ∼q∧p⇔∼p∨q |
|---|---|---|---|---|---|---|
| 1 | 1 | 0 | 0 | 0 | 1 | 0 |
| 1 | 0 | 1 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| 0 | 0 | 1 | 1 | 0 | 1 | 0 |
6. [(∼p)⇒p]⇒p
Odpowiedź
Podana formuła jest tautologią.
Rozwiązanie
| p | ∼p | (∼p)⇒p | [(∼p)⇒p]⇒p |
|---|---|---|---|
| 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 |
7. p∨(∼p)
Odpowiedź
Podana formuła jest tautologią.
Rozwiązanie
| p | ∼p | p∨∼p |
|---|---|---|
| 1 | 0 | 1 |
| 0 | 1 | 1 |