Matematička logika

Lisää tämän kaltaisia

Klasická novoveká filozofia

luonut Simona Slotová

Booleova algabra i logički sklopovi

luonut Magdalena Kovačević

Evidencija računalne opreme

luonut Krešimir Kovačić

Zapis algoritma

luonut Dino Bakunić

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