Using inference rules/equivalences

  • Thread starter Thread starter Upeksha
  • Start date Start date
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
Sign up Log in
1 reply · 1K views
Upeksha
Messages
5
Reaction score
0

Homework Statement


Using[/PLAIN] inference rules/equivalencies, Show that
( ( (¬ A ∨ ¬ B ) → ( C ∧ D ) ) ∧ ( C → E) ∧ ( ¬ E )) → A

Homework Equations


( ( (¬ A ∨ ¬ B ) → ( C ∧ D ) ) ∧ ( C → E) ∧ ( ¬ E )) → A[/B]

The Attempt at a Solution



Using inference rules/equivalencies, Show that
( ( (¬ A ∨ ¬ B ) → ( C ∧ D ) ) ∧ ( C → E) ∧ ( ¬ E )) → A

This is my answer.
Consider about,
( (¬ A ∨ ¬ B ) → ( C ∧ D ) ) ∧ ( C → E) ∧ ( ¬ E )
Then,
( (¬ A ∨ ¬ B ) → ( C ∧ D ) ) ∧ ¬ E
( ¬( A ∧ B ) → ( C ∧ D ) ) ∧ ¬ E
( ¬¬( A ∧ B ) ∨ ( C ∧ D ) ) ∧ ¬ E
( ( A ∧ B ) ∨ ( C ∧ D ) ) ∧ ¬ E
After that, I cannot reach the answer → A
 
Last edited by a moderator:

Discussion

Physics news on Phys.org
To make sure I am reading this right, I will use English connectors.
[ (not A or nor B ) implies (C and D) ] and [( C implies E ) and (not E) ].
The right side simplifies to (not C) and (not E), not just (not E) like you have.
Having the not C will help you conclude that A must be true.