0
   

Can anyone construct a formal proof for this argument using an equivalence

Forums: Proof, Mathematics, Math, Logic
Email this Topic • Print this Page
 
 
ArianaMaria
 
Reply Mon 14 Dec, 2015 08:59 pm
r V ( m → n )
~ s Λ ~ r
~ ( d V n )
___________
~ m
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 1,315 • Replies: 1
No top replies

 
wendyluv143
 
  1  
Reply Tue 15 Dec, 2015 02:43 pm
@ArianaMaria,
Statement Reason
1. ~ s Λ ~ r - premise
2.~r -C.S. (1)
3. r V ( m → n ) -premise
4.m → n -D.S. (2,3)
5. ~ ( d V n ) -premise
6.~m Λ~n -con. Neg. (4)
7.~ m -C.S. (6)
0 Replies
 
 

Related Topics

Last one - Question by agarry13
I'm not good at these - Question by agarry13
One more proof - Question by agarry13
Another Proof - Question by agarry13
Help with Logic Proof - Question by agarry13
Truth table / proof help - Question by Monkeymox
Proving that the universe is infinite - Discussion by Askthshadow
Logic Proof Help - Question by crimhaze
CONSTRUCT A FORMAL PROOF FOR THE ARGUMENT USING THE INDIRECT METHOD - Question by ArianaMaria
Use the Direct Approach TF Method with the Conditional Proof Technique - Question by ArianaMaria
 
  1. Forums
  2. » Can anyone construct a formal proof for this argument using an equivalence
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 04/19/2024 at 01:15:52
▲ ▼