Izjave Flashcards
Kaj je izjava?
Izjava je poved, za katero se odločimo ali je pravilna ali ne.
Kaj pripišemo pravilni izjavi?
1 ali p
Kaj pripišemo nepravilni izjavi?
0 ali n
Katere vrste izjav poznamo?
(1) enostavne ali preproste izjave
(2) sestavljene izjave
Kako zgradimo sestavljeno izjavo?
Z uporabo izjavnih povezav oz. izjavnih operacij (operatorjev)
Kaj je NEGACIJA?
izjava, ki spremeni vrednost izjave (npr. iz 1 v 0)
Kako označimo negacijo?
˝˝l
Tabela za negacijo
A B
1 0
0 1
Kaj je KONJUNKCIJA?
Izjavi A in B povežemo z veznikom IN
Kako označimo konjunkcijo?
hribčk
Tabela za konjunkcijo
A B (hribčk)
1 1 1
1 0 0
0 1 0
0 0 0
(skačem in pojem)
Kaj je DISJUNKCIJA?
Izjavi A in B povežemo z ALI
Kako označimo disjunkcijo?
v
Tabela za disjunkcijo
A B V
1 1 1
1 0 1
0 1 1
0 0 0
(utihni ali pa se usedi)
Kaj je IMPLIKACIJA?
izjavi A in B združi veznik ČE A, POTEM B
Kako označimo implikacijo?
=>
(implicate)
Tabela za implikacijo
A B =>
1 1 1
1 0 0
0 1 1
0 0 1
(če sem priden dobim nagrado)
Kaj je EKVIVALENCA?
Izjavi A in B združimo z veznikom NATANKO TEDAJ
Kako označimo ekvivalenco
<=>
Tabela za ekvivalenco
A B <=>
1 1 1
1 0 0
0 1 0
0 0 1
(A enako B)
Vrstni red operacij
˝˝l, (hribčk), v, =>, <=>
negacija>konjunkcija>disjunkcija>implikacija>ekvivalenca
Kaj je TAVTOLOGIJA?
Sestavljena izjava, ki je resnična ob vsaki kombinaciji logičnih vrednosti enostavnih izjav, ki sestavljajo sestavljeno izjavo
(sestavljena izjava, ki je ob vsaki možni končni kombinaciji resnična)
Kaj sta EKVIVALENTNI IZJAVI?
izjavi, ki imata pri vsaki kombinaciji logičnih vrednosti enakih izjav, iz katerih sta sestavljeni, enako logično vrednost
izjavi ki imata v vsaki možni končni kombinaciji enake vrednosti
