Valan Valan
New member
Given:
1. (A v B) -> ~(C v D)
2. (~C.E) -> (F.~O)
3. (F v ~H) -> (J.~K)
Need to Show: (A.E) -> ~K
I solved the problem using Conditional Proof technique. But now I am trying to solve the problem just with the rules of replacement i.e Modus Ponents, Modus Tolens, Hypothetical Syllogism, Disjunctive Syllogism etc.
"v" means "or"/disjunction
"." means "and"/conjunction
"->" means implies
"~" means "not"
This is a pretty difficult proof. I have been trying it for a while now but can't do it.
Any help will be much appreciated!
1. (A v B) -> ~(C v D)
2. (~C.E) -> (F.~O)
3. (F v ~H) -> (J.~K)
Need to Show: (A.E) -> ~K
I solved the problem using Conditional Proof technique. But now I am trying to solve the problem just with the rules of replacement i.e Modus Ponents, Modus Tolens, Hypothetical Syllogism, Disjunctive Syllogism etc.
"v" means "or"/disjunction
"." means "and"/conjunction
"->" means implies
"~" means "not"
This is a pretty difficult proof. I have been trying it for a while now but can't do it.
Any help will be much appreciated!