Matematička logika Školska 2012/2013. god.

Vežbe #3

Zadaci sa vežbi
1. Metodom svod̄enja na konjuktivni oblik dokazati da su sledeće formule tautologije.

(a) ((p ⇒ q) ∧ ¬q)) ⇒ ¬p

(b) (p ⇔ (p ∧ q)) ⇒ (p ⇒ q)

(c) (¬p ⇒ (q ∧ ¬q)) ⇒ p

2. Koristeći vrednosnu funkciju dokazati da su sledeće formule tautologije.

(a) ¬p ⇒ (p ⇒ q)

(b) (p ⇒ q) ∧ (¬p ⇒ ¬q) ⇒ (p ⇔ q)

3. Na osnovu principa matematičke indukcije, dokazati da su sledeće formule tautologije za svako

n ∈ N.

(a) (p1 ∧ · · · ∧ pn ⇒ p) ⇔ (p1 ⇒ (p2 ⇒ · · · ⇒ (pn ⇒ p) · · ·)

(b) (¬p1 ∨ · · · ∨ ¬pn ⇒ p) ⇔ (¬p ⇒ p1 ) ∧ · · · ∧ (¬p ⇒ pn )

4. Neka je F (q1 , q2 , ..., qn ) iskazna formula čija su sva slova (q1 , q2 , ..., qn ). Dokazati

τ (F (T, ..., T ) = T akko (p ⇒ F (q1 , q2 , ..., qn )) ⇔ F (p ⇒ q1 , ..., p ⇒ qn ) je tautologija.

√
5. Koristeći tautologiju (¬p ⇒ ⊥) ⇒ p dokazati da je 2 iracionalan broj.
6. Koristeći tautologiju (¬q ⇒ ¬p) ⇒ (p ⇒ q) dokazati da ako za stranice a, b, c nekog trougla ABC
važi da je a2 + b2 = c2 , onda je taj trougao pravougli.
7. Koristeći tautologiju (p ⇒ q) ∧ (¬p ⇒ ¬q) ⇒ (p ⇔ q) dokazati da ako je neki broj m neparan onda
je m2 takod̄e neparan.
Zadaci za samostalan rad
1. Metodom svod̄enja na konjuktivnu formu dokazati da je formula (p ⇒ q ∧ ¬q) ⇒ ¬p tautologija.
2. Koristeći vrednosnu funkciju dokazati da je formula (p ⇒ q) ∧ (q ⇒ r) ⇒ (p ⇒ r) tautologija.
√
3. Dokazati da je 3 iracionalan broj.
4. Dokazati: x2 6= 1 ⇒ x 6= 1, gde je x ∈ Z.