IZJAVNA LOGIKA

Uvod  |  Izjave   |  Negacija   |  Konjunkcija   |  Disjunkcija   |  Implikacija   |  Ekvivalenca   |  Izjavni račun  |   Razmisli

Ekvivalenca izjavi A in B poveže s "če in samo če" oziroma "natanko tedaj, ko".

---

Povezavo označimo z znakom ⇔ in beremo "če in samo če" ali "natanko tedaj, ko".

• velja izjava A natanko tedaj, ko velja izjava B
• A ⇔ B

---

Ekvivalenca dveh izjav je pravilna, če imata izjavi enako verdnost (ali sta obe pravilni ali obe nepravilni), in nepravilna, če imata izjavi različno vrednost.

A	B	A ⇔ B
p	p	p
p	n	n
n	p	n
n	n	p

---

Primer:
A: Štirikotnik je romb. (p)
B: Štirikotnik ima vse stranice enako dolge. (p)
A ⇔ B: Štirikotnik je romb če in samo če ima vse stranice enako dolge. (p)

Določi vrednost naslednjih izjav. V okna vpiši p ali n.

1. 0 < 1 ⇔ 1 < 0
2. 0 < 1 ⇔ 0 < 2
3. 1 < 0 ⇔ 2 < 0

---

Če imaš z ekvivalenco povezani dve pravilni izjavi, kakšna je vrednost ekvivalence, če obe izjavi zanikaš? V okno vpiši p ali n.

Kakšna pa je vrednost izjave če zanikaš dano ekvivalenco?