Register to reply

Natural Deduction in propositional logic

by jbehling
Tags: deduction, logic, natural, propositional
Share this thread:
jbehling
#1
Mar11-08, 11:19 PM
P: 2
1. The problem statement, all variables and given/known data
HELP! I need to provide proofs for the following argument...
1.~~Tv~R
2.~(Sv~R)
3.(T&~S)>~Q
4.W>Q /~W


2. Relevant equations



3. The attempt at a solution
Phys.Org News Partner Science news on Phys.org
'Office life' of bacteria may be their weak spot
Lunar explorers will walk at higher speeds than thought
Philips introduces BlueTouch, PulseRelief control for pain relief

Register to reply

Related Discussions
Natural Deduction in Propositional logic General Discussion 0
Need Help In Logic / Natural Deduction Biology, Chemistry & Other Homework 0
Collecting different rules for Natural Deduction Set Theory, Logic, Probability, Statistics 3
Natural Deduction General Discussion 6