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
Flapping baby birds give clues to origin of flight
Prions can trigger 'stuck' wine fermentations, researchers find
Socially-assistive robots help kids with autism learn by providing personalized prompts

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