Oceń prawdziwość zdania logicznego dex: Oceń prawdziwość zdania złożonego: Jeśli Piotr jest synem Tadeusza to Tadeusz jest starszy od Piotra.

Nie jestem mądry: prawdziwe. Pomyśl czy syn może być starszy od ojca ?

kostek: p − Piotr jest synem Tadeusza (czyli Tadeusz jest starszy od Piotra), (1) q − Tadeusz jest starszy Piotra, (1) p ⇒ q (1) ⇒ (1) = (1)

dex: Automatycznie zakładasz, że Piotr jest synem Tadeusza, a to przecież może mieć wartość logiczną zarówno 0 jak i 1.

dex: W porządku, zadanie rozgryzione Jeśli załozymy że Piotr jest synem Tadeusza to wtedy oczywistym jest, że Tadeusz musi być starszy od Piotra (ojciec musi być starszy od syna) i implikacja jest spełniona, bo oba zdania są prawdziwe. Natomiast jeśli założymy, że Piotr nie jest synem Tadeusza, to wtedy wartość poprzednika (zdania pierwszego) jest równa 0 i zgodnie z własnościami implikacji niezależnie od wartości zdania drugiego cała implikacja będzie prawdziwa. Zatem zdanie to jest zawsze prawdziwe. Dzięki poprzednikom za pomoc, naprowadziliście mnie trochę, bo wcześniej byłem zupełnie pogubiony.