1. Izjavni račun Flashcards
Kaj je izjava?
Izjava je vsaka smiselna poved, ki ji lahko določimo vrednost. Če je pravilna P, če je nepravilna N. Lahko jih zapisujemo s simboli in označujemo z velikimi črkami. Iz izjav sestavljamo daljše izjave. Pri rokovanju uporabljamo logične operacije.
Kaj je negacija dane izjave? Kdaj je negacija pravilna (resnišna) in kdaj nepravilna (neresnična)?
Negacija izjave je zanikanje dane izjave. Negacija izjave A označimo z A’(črtica na vrhu). Če je izjava A pravilna, je A’ nepravilna. Če je izjava A nepravilna, je A’ pravilna.
Kaj je konjunkcija izjav?
Konjunkcija je vezava izjav z operacijo in. Konjunkcija izjav je pravila le če sta pravilni obe izjavi. Oznaka za in je gor obranjena strehica.
Kaj je disjunkcija izjav?
Disjunkcija je vezava izjav z operacijo ali. Disjunkcija je pravilna, čim je ena izmed izjav pravilna.
Dokažite, da je izjava ‘negacija (A in B)’ enakovredna izjavi ‘(negacija A ali negacija B)’ za poljubni izjavi A in B.
Negacija konjukcije je enakovredna disjunkciji negacij in obratno. To sta De Morganova zakona.