Question
Provide a formal proof of validity with the help of rules of replacement for
the following: 20
1. J v (¬K v J)
2. K v (¬J v K) / ˆJ ? K
Answer :
Word Count : 290
___ _____ _________ ______ _______ ______ _____ __________ ____ _________ __________.
________ ______ ______ _________ __________ ____ _______ ___ __________.
____ ____ ___ ___ ______ _______ _____ _____.
______ _______ ______ __________ ______ ________ __________ _________ ____ ______ ____.
___ _________ ________ ____ _______.
____ __________ _________ _____ _________ _________ ___ _________.
________ _______ _________ _____ _________ _________ ________ _________.
________ ___ _____ ____ _________ ________ ______ ___ ______ ______ _____.
____ ______ _____ _________ ____ ___ __________ ___ _________ ____ _______.
_____ ______ ____ _____ ______.
_____ ____ ___ _____ ________ _____ _______ _________ ________ ____.
__________ __________ ________ __________ ____ _______.
_____ __________ _________ _______ _______ _____ ______ _____ ___.
_____ ___ __________ _________ ___ __________ _____ _________ ____ ___ _________ __________.
___ ________ ______ _______ __________ __________ _________.
_____ _________ ______ ______ _______ __________ _______ __________ ________.
____ ___ _____ ____ _____ ______ _____ _________ ___.
_______ _________ _______ ___ __________.
____ __________ __________ ___ __________.
______ _____ _________ __________ ________.
________ ____ ______ ________ __________ ______ _________ ___ ___.
______ ___ _______ _________ ________ _______ _______ ___ ___ ________.
Skip in 10
To prove the validity of the argument using rules of replacement, let's break it down step by step:
Given premises:
1. \( J \lor (\lnot K \lor J) \)
2. \( K \lor (\lnot J \lor K) \)
We need to derive \( \lnot J \land K \).
The strategy here is to work on both premises, aiming to infer the conclusion \( \lnot J \land K \).
Starting with premise 1:
Using the commutative law of disjunction (\( p \lor q \equiv q \lor p \)), we rearrange the disjunction to \( J \lor J \lor \lnot K \).
Then using idempotent
________ ______ ______ _________ __________ ____ _______ ___ __________.
____ ____ ___ ___ ______ _______ _____ _____.
______ _______ ______ __________ ______ ________ __________ _________ ____ ______ ____.
___ _________ ________ ____ _______.
____ __________ _________ _____ _________ _________ ___ _________.
________ _______ _________ _____ _________ _________ ________ _________.
________ ___ _____ ____ _________ ________ ______ ___ ______ ______ _____.
____ ______ _____ _________ ____ ___ __________ ___ _________ ____ _______.
_____ ______ ____ _____ ______.
_____ ____ ___ _____ ________ _____ _______ _________ ________ ____.
__________ __________ ________ __________ ____ _______.
_____ __________ _________ _______ _______ _____ ______ _____ ___.
_____ ___ __________ _________ ___ __________ _____ _________ ____ ___ _________ __________.
___ ________ ______ _______ __________ __________ _________.
_____ _________ ______ ______ _______ __________ _______ __________ ________.
____ ___ _____ ____ _____ ______ _____ _________ ___.
_______ _________ _______ ___ __________.
____ __________ __________ ___ __________.
______ _____ _________ __________ ________.
________ ____ ______ ________ __________ ______ _________ ___ ___.
______ ___ _______ _________ ________ _______ _______ ___ ___ ________.
IGNOU ACADEMY
Your IGNOU journey, made easier.
- Solved Assignments
- Study Notes
- Guess Papers
- Question Papers
Continue Reading — It's Free
Sign in with Google to unlock more of this answer.
✓ Free access
✓ Unlock up to 60% of the answer
✓ No payment required
✓ Unlock up to 60% of the answer
✓ No payment required
Quick Google sign-in. No separate registration form.