Logika matematyczna

Wstęp - logika matematyczna

Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się on na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki.
(źródło: wikipedia.org)

Rachunek zdań

Def.
Zdaniem w sensie logicznym nazywamy stwierdzenie, któremu można przyporządkować jedną z dwóch wartości logicznych: prawdę albo fałsz.

Def.
Funktory zdaniotwórcze to zwroty: "nieprawda, że", "i", "lub", "jeżeli to", "wtedy i tylko wtedy", "albo".

Tabele wartości logicznych