0

# Predicate Logic Help

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
Type: Question • Score: 0 • Views: 3,666 • 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