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
Wildfires and other burns play bigger role in climate change, professor finds
SR Labs research to expose BadUSB next week in Vegas
New study advances 'DNA revolution,' tells butterflies' evolutionary history

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