Matematická logika se zabývá studiem formálních systémů, které jsou založené na logických operacích a výrocích. Zahrnuje základní operace jako disjunkce, konjunkce, negace a složitější operace jako ekvivalence a implikace.
Naučila sam puno novih pojmova koji će mi najvjerovatnije biti od koristi u budućnosti. Najteži dio za naučiti mi je bila minimizacija, ali sam i to većinski savladala.
Logičke operacije
Izvedene
Isključivo ili
Dvostruka implikacija
Ekvivalencija
Implikacija
Osnovne
Disjunkcija
Matematičko zbrajanje
Konjunkcija
Matematičko množenje
Negacija
Izjava(Sud)-tvrdnja za koju možemo potvrditi da li je istinita ili lažna
T(1)
F(0)
Rješenje
Kontradikcija
-sve kombinacije su lažne
Tautologija
- sve kombinacije su istinite
Drugi naziv je Booleova logika
Minimizacija
De Morganova pravila i Involutnost
Neutralni element
*
P*P=P
P*1=P
P*0=0
+
P+P=P
P+1=1
P+0=P
-postupak matematematičkih operacije kojim smanjuje dobiveni izraz