Matematička logika

Honelako gehiago

Z2_MM_Nikola_Smrcek

Nikola Smrček‑k egina

Matematička logika

Marta Hutinec‑k egina

Z2_topertina

Tomislav Pertinac‑k egina

Matematička logika

Marija Smolčić‑k egina

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