PRAWDA LOGICZNA - jest to zdanie z ktorego mozna stworzyc taki schemat zdaniowy, ktory jest tautologia    (wiecznie prawdziwe). Czyli bedzie teraz troche “pod gorke”, bo dostaniemy jakies zdanie i dopiero na jego podstawie trzeba nam bedzie skonstruowac schemat logiczny, po ktorego udowodnieniu tautologicznosci badz tejze nieudowodnieniu, damy odpowiedz, ze jest ono prawda logiczna badz ze nie jest. Zatem rzecz jest do zrobienia - nie takie rzeczy sie przeciez tu juz robilo! :) CWICZENIE 13 Sprawdzimy sobie aktualnie czy ponizsze zdania naleza do jednego z wielu gatunkow stworzen logicznych, jakim sa Prawdy: a) “Jezeli Kubus wyjadl miodek lub Antykubus wyjadl miodek, to o ile Kubus nie wyjadl miodku, to Antykubus wyjadl miodek.”  Zdanie skladowe “p” - “Kubus wyjadl miodek.” Zdanie skladowe “q” - “Antykubus wyjadl miodek.”  Schemat calosci: (p V q)   (~ p   q)

1. p V q	zal.
2. ~ p	zal.
3. ~ q	z.d.n.
4. q	OA : 1,2

Odp. Schemat jest tautologia ( sprzecznosc: 3,4 ),  wiec cale zdanie jest prawda logiczna. _____ b) “Jesli prawda, ze Kubus wyjadl miodek i Antykubus wyjadl miodek, to Kubus wyjadl miodek lub Antykubus nie wyjadl miodku. Zdanie skladowe “p” - “Kubus wyjadl miodek.” Zdanie skladowe “q” - “Antykubus wyjadl miodek.”  Schemat calosci: (p   q)   (p V ~ q)

1. p   q	zal.
2. ~ (p V ~ q)	z.d.n.
3. p	OK : 1
4. q	OK : 1
5. ~ p   ~ ~ q	NA : 2
6. ~ p	OK : 5
7. ~ ~ q	OK : 5

Odp. Schemat jest tautologia (sprzecznosc: 3,6), a cale zdanie prawda logiczna.

---