Let:(adsbygoogle = window.adsbygoogle || []).push({});

1)P be one place operation

2)K be one place operation

3) c be a constant

let :

1) G be a two place predicate

2) H be a two place predicate

Let :

The following axioms or assumptions)

1)for all A { H(A,c)v H(c,A)v G(A,c)}

2)for all A { H(A,c)=> G[P(A),A]}

3)for all A {H(c,A) => G[P(A),K(A)]}

4)for all A {G[K(A),c] => G(A,c)}.

5)for all A,B,C { [G(A,B) and G(A,C)]=> G(B,C)}

Then formally prove :

for all A {G[P(A),c] => G(A,c)}

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Proof in predicate calculus

Loading...

Similar Threads - Proof predicate calculus | Date |
---|---|

Proof in predicate calculus | Jun 22, 2012 |

Proof in predicate calculus 2 | Nov 2, 2011 |

Proof in predicate calculus | Oct 22, 2008 |

Proof in predicate calculus | Sep 24, 2008 |

Predicate calculus: Proof problem (please check for me) | Aug 3, 2005 |

**Physics Forums - The Fusion of Science and Community**