You are here:

Advanced Math/Help with Natural Deduction proof problems

Advertisement


Question
1.

1 ~J
2 (B ⊃ M) ⊃ (~J ⊃ B)
3 ~J ⊃ (B ⊃ M)
/ B

2.

1 ~L
2 V v (A v L)
3 (V v A) ⊃ ~V
/ A

Answer
I will use -->  for implications
#1.  ~ J --> (~ J--> B).  Lines  2,3
(You supply the reasons)
      ~ J --> B.          Lines 1,4
        B.          Lines 1,5

#2.  (V v A) v L.          Line 2
       V v A          Lines 1,4
       ~V.          Lines 3,5
         A.          Lines 5,6

Advanced Math

All Answers


Answers by Expert:


Ask Experts

Volunteer


Sombra Shadow

Expertise

I can answer most questions up through Calculus and some in Number Theory and Abstract Algebra.

Experience

I have had my Bachelor's Degree since 1987 and have been a teacher since 1988. I earned my Masters Degree in Mathematics May 2010. I have been teaching at the same community college since 2002.

Education/Credentials
I have taught 12 years at the community college level, medical college, and technical college as well as a high school instructor and alternative education instructor and charter school instructor.

Awards and Honors
Master's GPA 3.56 Bachelor's GPA 3.34 Post grad work not degree related GPA 4.0

©2016 About.com. All rights reserved.