Professional Documents
Culture Documents
Mat303 PDF
Mat303 PDF
1) p ⇒ ( q ⇒ p )
2) p ⇒ ( p ∨ q )
3) ( p ∧ ( p ⇒ q ) ) ⇒ q
4) ¬ ( ¬p ∧ q ) ⇔ p ∨ ¬q
5) ¬ ( ¬p ∨ q ) ⇔ p ∧ ¬q
6) ( ( p ⇒ q ) ∧ ( q ⇒ r ) ) ⇒ ( ¬p ∨ r )
7) ( p ⇒ ( q ⇒ r ) ) ⇔ ( ( p ∧ q ) ⇒ r )
8) ( ( p ⇒ r ) ∧ ( q ⇒ r ) ) ⇔ ( ( p ∨ q ) ⇒ r )
Rešenje:
1) F1 : p ⇒ ( q ⇒ p ) 2) F2 : p ⇒ ( p ∨ q )
p q q⇒ p F1 p q p ∨ q F2
T T T T T T T T
T ⊥ T T T ⊥ T T
⊥ T ⊥ T ⊥ T T T
⊥ ⊥ T T ⊥ ⊥ ⊥ T
╞F1 ╞F2
3) F3 : ( p ∧ ( p ⇒ q ) ) ⇒ q 4) F4 : ¬ ( ¬p ∧ q ) ⇔ p ∨ ¬q
p q p⇒q p ∧ ( p ⇒ q) F3 p q ¬p ¬p ∧ q ¬ ( ¬p ∧ q ) ¬q p ∨ ¬q F4
T T T T T T T ⊥ ⊥ T ⊥ T T
T ⊥ ⊥ ⊥ T T ⊥ ⊥ ⊥ T T T T
⊥ T T ⊥ T ⊥ T T T ⊥ ⊥ ⊥ T
⊥ ⊥ T ⊥ T ⊥ ⊥ T ⊥ T T T T
╞F3 ╞F4
5) F5 : ¬ ( ¬p ∨ q ) ⇔ p ∧ ¬q
p q ¬p ¬p ∨ q ¬ ( ¬p ∨ q ) ¬q p ∧ ¬q F5
T T ⊥ T ⊥ ⊥ ⊥ T
T ⊥ ⊥ ⊥ T T T T
⊥ T T T ⊥ ⊥ ⊥ T
⊥ ⊥ T T ⊥ T ⊥ T
╞F5
2
6) F6 : ( ( p ⇒ q ) ∧ ( q ⇒ r ) ) ⇒ ( ¬p ∨ r )
p q r p⇒q q⇒r ( p ⇒ q) ∧ (q ⇒ r ) ¬p ¬p ∨ r F6
T T T T T T ⊥ T T
T T ⊥ T ⊥ ⊥ ⊥ ⊥ T
T ⊥ T ⊥ T ⊥ ⊥ T T
T ⊥ ⊥ ⊥ T ⊥ ⊥ ⊥ T
⊥ T T T T T T T T
⊥ T ⊥ T ⊥ ⊥ T T T
⊥ ⊥ T T T T T T T
⊥ ⊥ ⊥ T T T T T T
╞F6
7) F7 : ( p ⇒ ( q ⇒ r ) ) ⇔ ( ( p ∧ q ) ⇒ r )
p q r q⇒r p ⇒ (q ⇒ r) p∧q ( p ∧ q) ⇒ r F7
T T T T T T T T
T T ⊥ ⊥ ⊥ T ⊥ T
T ⊥ T T T ⊥ T T
T ⊥ ⊥ T T ⊥ T T
⊥ T T T T ⊥ T T
⊥ T ⊥ ⊥ T ⊥ T T
⊥ ⊥ T T T ⊥ T T
⊥ ⊥ ⊥ T T ⊥ T T
╞F7
8) F8 : ( ( p ⇒ r ) ∧ ( q ⇒ r ) ) ⇔ ( ( p ∨ q ) ⇒ r )
╞F8
3
F: ( p ∨ q ) ∧ ¬ ( p ∨ r ) ⇔ ( q ∧ ¬p ) ∧ ( q ∧ ¬r )
╞F
x ∈ ( A ∪ B ) \ ( A ∪ C ) ⇔ x ∈ ( A ∪ B ) ∧ ¬ ( x ∈ ( A ∪ C ))
⇔ ( x ∈ A ∨ x ∈ B) ∧ ¬( x ∈ A ∨ x ∈ C )
⇔ ( x ∈ B ∧ ¬ ( x ∈ A ) ) ∧ ( x ∈ B ∧ ¬ ( x ∈ C ) ) ( F je tautologija)
⇔ ( x ∈ B \ A) ∧ ( x ∈ B \ C )
⇔ x ∈ ( B \ A) ∩ ( B \ C )
Rešenje:
1) x∈ A∩(B\C) ⇔ x∈ A∧ x∈ B\C
⇔ x ∈ A ∧ ( x ∈ B ∧ ¬ ( x ∈ C ))
⇔ ( x ∈ A ∧ x ∈ B ) ∧ ¬ ( x ∈ C ) (asocijativnost konjukcije)
⇔ x ∈ A ∩ B ∧ ¬( x ∈ C )
⇔ x ∈( A ∩ B) \ C
4
2) x ∈ A \ ( B \ C ) ⇔ x ∈ A ∧ ¬( x ∈ B \ C )
⇔ x ∈ A ∧ ¬ ( x ∈ B ∧ ¬ ( x ∈ C ))
(
⇔ x ∈ A ∧ ¬ ( x ∈ B ) ∨ ¬ (¬ ( x ∈ C )) ) (De Morganov zakon)
3) x ∈ A \ ( B ∩ C ) ⇔ x ∈ A ∧ ¬( x ∈ B ∩ C )
⇔ x ∈ A ∧ ¬( x ∈ B ∧ x ∈ C )
⇔ x ∈ A ∧ ( ¬ ( x ∈ B ) ∨ ¬ ( x ∈ C ) ) (De Morganov zakon)
⇔ ( x ∈ A ∧ ¬ ( x ∈ B ) ) ∨ ( x ∈ A ∧ ¬ ( x ∈ C ) ) (Distributivnost konjukcije prema disjunkciji)
⇔ x ∈ A\ B ∨ x ∈ A\C
⇔ x ∈( A\ B) ∪ ( A\ C )
Sanja Lončar