0
   

Natural Deduction

 
 
Reply Thu 16 Oct, 2014 03:41 pm
I need help solving these proofs using natural deduction. I am having a difficult time.
// means conclusion

1.[(~D v G) -> S]
(S -> ~S)     //    D

2  ~(A -> X)      //      ~(X & H)

3. ~K                                                 
[P -> (~P v K)]     //     ~P
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 648 • Replies: 1
No top replies

 
fresco
 
  1  
Reply Fri 17 Oct, 2014 12:38 am
@guest417,
METHOD OF BACKWARD FELL SWOOP
(based on THE CONJUNCTION OF PREMISES -> CONCLUSION)

Choose the truth values (1 or 0) that make the conclusion false.
Show that this choice makes the conjunction of premises false.

e.g. In the first example, choose D=0. That gives S=1 from the first premise, which gives S =0 from the second premise. So the conjunction of the first and and second premises is 0. hence you have proved the conclusion.

0 Replies
 
 

Related Topics

Philosophy problem - Question by Dananeilla
 
  1. Forums
  2. » Natural Deduction
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 04/18/2024 at 06:39:59