Natural Deduction in propositional logic


by jbehling
Tags: deduction, logic, natural, propositional
jbehling
jbehling is offline
#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
Going nuts? Turkey looks to pistachios to heat new eco-city
Space-tested fluid flow concept advances infectious disease diagnoses
SpaceX launches supplies to space station (Update)

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