0
   

Predicate Logic Help

 
 
splenax
 
Reply Fri 9 Aug, 2013 04:35 pm
I need some help with the following two predicate logic problems:
Complete the following predicate logic proof (2 points):

1. x (Px → Rx) Given
2. x (Rx → Sx) Given
3. x (Tx ↔ Sx) Given
4. ~xTx Given.
5. SHOW: ~xPx

Complete the following predicate logic proof.

x (Ax Bx)
~x (Cx Bx)
SHOW: x (Cx & ~Ax)

You can use the predicate-logic version of any propositional logic rule.
Some special predicate logic rules you might want to use:
Quantifier Obversion, Quantifier Instantiation and Generalization.
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 2,843 • Replies: 0
No top replies

 
 

Related Topics

A2K challenge! - Discussion by HexHammer
Logic Proof Help - Question by crimhaze
THE TEN COMMANDMENTS OF LOGIC - Discussion by Ragman
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
 
  1. Forums
  2. » Predicate Logic Help
Copyright © 2019 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 07/19/2019 at 07:10:36