I need to prove the validity of these problems by using the 18 proof rules.

Mar 4th, 2015
SoccerBoss
Category:
Philosophy
Price: \$15 USD

Question description

(1)  1. ~M or N

2. ~R implies ~N/: M implies R

(2)  1. ~A implies (B and C)

2. ~C/: A

(3)  1. H implies K

2. C iff D

3. ~C implies ~K/: H implies D

(4)  1. (A and B) implies C

2. A and ~C/: ~B

(1)   1. (A and B) implies R

2. A

3. C implies ~ R/: ~(C and B)

(2)  1. ~H

2. H or K

3. L implies H

4. ~(K and ~L) or (~L and M)/:M

(3)  1. ~(D or C)

2. ~C implies (A implies ~B)

3. A iff B/: ~A

(4)   1. A or B

2. C

3. (A and C) implies D/: D or B

(5)   1. A implies B

2. A or (B and C)/: B

(Top Tutor) Daniel C.
(997)
School: Purdue University

Studypool has helped 1,244,100 students

8 Reviews

Summary
Quality
Communication
On Time
Value
tinytim47
Dec 2nd, 2016
" Wow this is really good.... didn't expect it. Sweet!!!! "
Five Star Tutor
Nov 21st, 2016
" Outstanding Job!!!! "
mixedballz
Nov 18th, 2016
" excellent work as always thanks for the help "
lilmoe415
Nov 9th, 2016
" Thank you, Thank you, for top quality work, this is your guy!! "
darnay
Oct 27th, 2016
" The best tutor out there!!!! "
dontuwannaknow
Oct 18th, 2016
" Excellent work as always thanks so much "
SjSurvivor143
Oct 4th, 2016
" Thanks for the help. "
Joemoe
Sep 21st, 2016
" <3 it, thanks for saving me time. "

1820 tutors are online

Brown University

1271 Tutors

California Institute of Technology

2131 Tutors

Carnegie Mellon University

982 Tutors

Columbia University

1256 Tutors

Dartmouth University

2113 Tutors

Emory University

2279 Tutors

Harvard University

599 Tutors

Massachusetts Institute of Technology

2319 Tutors

New York University

1645 Tutors

Notre Dam University

1911 Tutors

Oklahoma University

2122 Tutors

Pennsylvania State University

932 Tutors

Princeton University

1211 Tutors

Stanford University

983 Tutors

University of California

1282 Tutors

Oxford University

123 Tutors

Yale University

2325 Tutors