Logika



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