TS3 Math Logic
TS3 Math Logic
F = { (p ∨ q ∨ r ), (p → q ), (q → r )}
Exercise n°3: According to the Hilbert deduction system consisting of the following axioms:
(Ax1) ( X 1 → ( X 2 → X 1 )) ;
(Ax2) (( X 1 ∧ X 2 ) → X 1 ) or (( X 1 ∧ X 2 ) → X 2 ) ;
1) (¬B) F-H (B → A)
3) ( A → ( B → C )) , ( A ∧ B ) IH C
Exercise n°4: Prove the following propositions using Natural Deduction System:
1) A, ( A → B ) I N ( A ∧ B )
2) (( A ∧ B ) → C ) , ( B → A ) ,B I N C
3) ( A → B ) , ( B → C ) HN ( A → ( B ∧ C ))
4) ( A ∨ ( B ∧ C )) F N ( A ∨ B )
Page 1 of 2
Exercise n°5: Give the CNF (Conjunctive Normal Form) and DNF (Disjunctive Normal Form) of the
following WFFs:
1. ¬ ( ( ( ¬A ∨ B → C ∧ D
) ) ( ) )
2. ( ( ¬ A → B ( ) ) ∨ A ∧ B ( ) )
3. ( A ∨ B → A ∧ B )
( ) ( )
4. (A → B ∨ B → C )
( ) ( )
Exercise n°6: Determine, in the following cases, whether the formulas are valid by applying the refu -
tation algorithm:
2 ) ( ( ( A → B ∧ A → C ) ( ) ) → B ∧ C ( ) )
3 ) ( ( ( A→B ∧A →B ) ) )
Exercise n°7:
2. Study the validity of this reasoning using the truth table and Robinson’s resolution principle.
Exercise n°8: Three students A, B and C are accused of introducing a virus in the school lab. During
the interrogation they make the following claims:
(H2) Bouchra says: “If Ali is guilty then Sarah is guilty too”.
(H3) Sarah says: “I did not do it. Either Ali or Bouchra did it”.
Find the guilty amoung these three students based on this interogation using the truth table method
and Robinson’s resolution principle.
Page 2 of 2