
Logika to dział matematyki, który stał się niezależną
dziedziną na przełomie XIX i XX wieku. Logika ma na celu analizowanie
poprawności postępowania z wykorzystaniem pojęć i metod matematycznych. Zdaniem
w sensie logicznym jest stwierdzenie posiadające wartość logiczną jeden
(prawda) lub zero (fałsz)
Funktory zdaniotwórcze to zwroty:
|
|
Negacja |
Nieprawda że |
|
|
Koniunkcja |
i |
|
|
Alternatywa |
lub |
|
|
implikacja |
Jeżeli to |
|
|
równoważność |
Wtedy i tylko wtedy |