LOGIKA - ĆWICZENIA Z LOGIKI [ PRAWDA LOGICZNA ] => PROCES SPRAWDZANIA PRAWDY LOGICZNEJ

1.  Logika u podstaw - ZDANIE i SPOJNIKI ...____ 2.  Logika u podstaw - WARTOSC LOGICZNA __ 3.  Logika u podstaw - EKSTENSJONALNOSC i ... 4. Logika u podstaw - TAUTOLOGIA i KONTR..._ 5.  Logika u podstaw - SYSTEM_ZALOZENIOWY 6.  Logika u podstaw - PRAWDA LOGICZNA ___ 7.  Logika u podstaw - WYNIKANIE LOGICZNE _ 8.  Logika u podstaw - ROWNOWAZNOSC ...___ 9.  Logika u podstaw - WNIOSKOWANIE ..._____ 10.  Logika u podstaw - FALSZ LOGICZNY_ ___ 11.  Logika u podstaw - SPRZECZNY ZBIOR ..._ 12.  Logika u podstaw - KWANTYFIKATORY ..._ _______________________________________ ______strona  domowa  logiki  u  podstaw_____

6. 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)