Actually, I have several questions:(adsbygoogle = window.adsbygoogle || []).push({});

1) Why are axiom schemas the way they are? What do they represent? I know that infinitely many axioms can be written using the axiom schema form. However, what's the formal definition of axioms in predicate calculus? I've heard that the formal definition of axioms is any wff which has the axiom schema form. If that's the case, what's so special about some wffs which can have infinitely many forms? Do they have any distinctive properties at all?

2) Why and how are they used for proving theorems / making other inferences?

3) How is modus ponens used with such axiom schemas to prove theorems?

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

Dismiss Notice

Join Physics Forums Today!

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

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

# A propositional logic question

Loading...

Similar Threads - propositional logic question | Date |
---|---|

I The truth value of ##P(x)## → ##Q(x)## | Aug 30, 2017 |

Why translating language to propositional logic is tough? | Feb 1, 2014 |

Derive all four propositional logic operators from nand | May 5, 2013 |

Tell if this Argument is valid (Propositional Logic)? | Sep 20, 2011 |

Multiple Choice question about Proposition Logic | Oct 31, 2008 |

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