OSNOVE LOGIKE Flashcards
Kaj je izjava?
Je vsaka smiselna poved, ki ji lahko določimo pravilnost.
Kako označujemo izjave?
A, B, C, D…
Kateri dve logični vrednosti imamo pri izjavah, kako jih označujemo?
Pravilna - P (1)
Nepravilna - N (0)
Kaj so kvantifikatorji?
Nam povedo za koliko objektov iz neke množice velja izjava.
Katere kvantifikatorje poznaš?
Narobe obrnjen E - obstaja (eksistira)
Narobe obrnjen E! - obstaja natanko eden
V - za vsak
Konjunkcija
In hkrati - strešica P P P P N N N P N N N N
Disjunkcija
Ali - V P P P P N P N P P N N N
Implikacija
Sledi => P P P P N N N P P N N P
Ekvivalenca
Natanko tedaj ko <=> P P P P N N N P N N N P
Kaj sta sestavljeni izjavi?
Implikacija in ekvivalenca
Kaj sta elementarni izjavi?
Konjunkcija in disjunkcija
Katere operatorje poznaš?
Konjunkcija - strešica
Disjunkcija - V
Implikacija =>
Ekvivalenca <=>
Kdaj sta izjavi enakovredni?
Izjavi sta enakovredni ali ekvivalentni, ko imata pri vsakem naboru logičnih vrednosti izjav enako logično vrednost.
Kdaj velja tavtologija?
Kadar je sestavljena izjava pravilna, pri vseh naborih vrednosti osnovnih izjav.
S čim označimo tavtologijo?
I