1. Izjavni račun Flashcards

1
Q

Kaj je izjava?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Kaj je negacija dane izjave? Kdaj je negacija pravilna (resnišna) in kdaj nepravilna (neresnična)?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Kaj je konjunkcija izjav?

A

Konjunkcija je vezava izjav z operacijo in. Konjunkcija izjav je pravila le če sta pravilni obe izjavi. Oznaka za in je gor obranjena strehica.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Kaj je disjunkcija izjav?

A

Disjunkcija je vezava izjav z operacijo ali. Disjunkcija je pravilna, čim je ena izmed izjav pravilna.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Dokažite, da je izjava ‘negacija (A in B)’ enakovredna izjavi ‘(negacija A ali negacija B)’ za poljubni izjavi A in B.

A

Negacija konjukcije je enakovredna disjunkciji negacij in obratno. To sta De Morganova zakona.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly