macak
 
Reply Tue 22 Jun, 2010 02:32 pm
¬[(P ∨ Q) ↔ ¬(R → (P → S))], ¬(S → Q) ╞ R ∧ S

anybody knows how to do a semantic tree for this one
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 1,050 • Replies: 1
No top replies

 
Butrflynet
 
  1  
Reply Tue 22 Jun, 2010 09:21 pm
@macak,
http://en.wikibooks.org/wiki/Logic_for_Computer_Scientists/Predicate_Logic/Semantic_Trees
0 Replies
 
 

Related Topics

How can we be sure? - Discussion by Raishu-tensho
Proof of nonexistence of free will - Discussion by litewave
The Void and the Absolute Oneness of the Universe - Discussion by Relinquish
can we reconcile darkness in man with madness(lunacy) ? - Question by studentnorway
Destroy My Belief System, Please! - Discussion by Thomas
Star Wars in Philosophy. - Discussion by Logicus
Existence of Everything. - Discussion by Logicus
In the GRAND scheme of things, what matters? - Question by komr98
Is it better to be feared or loved? - Discussion by Black King
How can something come from nothing? - Question by ripple
Paradigm shifts - Question by Cyracuz
 
  1. Forums
  2. » logic
Copyright © 2025 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.05 seconds on 01/20/2025 at 08:02:02
▲ ▼