Matematička logika

Mer som dette

Zadatak 1

Ved Petra Kuhar

Booleova algabra i logički sklopovi

Ved Magdalena Kovačević

Z2_MM_Nikola_Smrcek

Ved Nikola Smrček

Klasická novoveká filozofia

Ved Simona Slotová

Matematička logika

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)

Neutralni element

*

P*P=P

P*1=P

P*0=0

+

P+P=P

P+1=1

P+0=P

Rješenje

Kontradikcija

-sve kombinacije su lažne

Tautologija

- sve kombinacije su istinite

Drugi naziv je Booleova logika