Matematička logika

もっと見る

Z2_MM_Nikola_Smrcek

Nikola Smrčekにより

Klasická novoveká filozofia

Simona Slotováにより

Zadatak 1

Petra Kuharにより

Aritmetička-logička jedinica

Anifa Mandakにより

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