ISTOVRIJEDNOST

Luka Matić, Mile Matić

3.e
 OPĆENITO
A↔B
(A → B) ∧ (B → A)

A B A→B B→A (A → B) ∧ (B → A) A↔B

I I I I I I
I N N I N N
N I I N N N
N N I I I I

A ↔ B ≡ (A → B) ∧ (B → A)
 ISKAZE koji za svako istinosno vrednovanje imaju međusobno jednake istinosne
vrijednosti nazivamo ISTOVRIJEDNIM iskazima
ISTOVRIJEDNOST I DVOPOGODBA

 Istovrijednost možemo predočiti kao valjanost dvopogodbe – valjana

dvopogodba je uvijek istinita, što znači da njena oba podiskaza imaju istu
istinosnu vrijednost
Npr. (A → B) ↔ (¬A v B)

A B (A → B) ↔ (¬A v B)

I I I I I

I N N I N

N I I I I

N N I I I
ZAKONI ISTOVRIJEDNOSTI
 1) Zakon dvostrukog nijeka
¬¬P ≡ P

 2) Zakon svođenja pogodbe

P → Q ≡ ¬P ∨ Q

 3) Zakon svođenja pogodbe

P ↔ Q ≡ (P → Q) ∧ (Q → P) ILI P ↔ Q ≡ (P ∧ Q) ∨ (¬P ∧ ¬Q)

 4) Zakon izmjenitosti (komutativnosti)

- Svejedno je kojim redom kažemo neku tvrdnju

-Vrijedi za dvopogodbu, ali ne za pogodbu

a) Za konjunkciju

P∧Q≡Q∧P

-npr. Beograd je glavni grad Srbije, a Ljubljana glavni grad Slovenije; odnosno:
………Ljubljana je glavni grad Slovenije, a Beograd glavni grad Srbije

b) Za inkluzivnu disjunkciju

P∨Q≡Q∨P

-npr. Ivan je pametan ili je Mate marljiv; odnosno: …………………………………

……… Mate je marljiv ili je Ivan pametan
 5) Zakon udruživanja (asocijativnosti)

a)Za konjunkciju

(P ∧ Q) ∧ R ≡ P ∧ (Q ∧ R)

b)Za uključnu disjunkciju

(P ∨ Q) ∨ R ≡ P ∨ (Q ∨ R)

 6)Zakon raspodjeljivosti (distributivnosti)

a)Konjunkcija→disjunkcija

P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)

b)Uključna disjunkcija→konjunkcija

P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)
 7) De Morganovi zakoni

¬(P ∧ Q) ≡ ¬P ∨ ¬Q

¬(P ∨ Q) ≡ ¬P ∧ ¬Q

 8) Zakoni idempotentnosti

P∧P≡P P P∧P PvP

I I I I I I I
P∨P≡P
I I I I I I I

N N N N N N N

N N N N N N N
HVALA NA PAŽNJI!