0
   

Philosophy 100 problems help!

Forums: Logic
Email this Topic • Print this Page
 
 
amatista10
 
Reply Mon 9 May, 2011 01:58 am
USE PROOFS Smile
1. ~R = ~T -> (R . S)
2. C. (~B v A), ~C v B, (A . C) -> ~~D = D
3. L v ~R, ~R -> O, ~L, O -> (T -> L) = ~T

ANSWER KEY: ~ IS NOT
-> IS IF AND THEN
. IS AND
= CONCLUSION
v IS OR
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Discussion • Score: 0 • Views: 649 • Replies: 1
No top replies

 
jespah
 
  1  
Reply Mon 9 May, 2011 07:04 am
@amatista10,
Gadzooks that terminology is confusing.

Isn't ~~D always = D? That would be a tautology.
0 Replies
 
 

Related Topics

A2K challenge! - Discussion by HexHammer
Logic Proof Help - Question by crimhaze
THE TEN COMMANDMENTS OF LOGIC - Discussion by Ragman
CONSTRUCT A FORMAL PROOF FOR THE ARGUMENT USING THE INDIRECT METHOD - Question by ArianaMaria
Derivations vs. symbolisation? - Question by collegestudent123
Logic word problem - Question by johnr
Cause of death..... - Discussion by gungasnake
Need help in defining - Question by ichishti
Predicate Logic Help - Question by splenax
can logic be seen as a property of the universe itself? - Question by sapmi
The abusive use of the arguments against Logic and Truth - Discussion by Fil Albuquerque
 
  1. Forums
  2. » Philosophy 100 problems help!
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 05/17/2024 at 06:16:29
▲ ▼