First-Order Logic

[tonychanyt]

Disclaimer: FOL is not the be-all and end-all. In fact, when it comes to the mystery of the Godhead, FOL is rather useless.

When it comes to formal deductions, FOL is a strong proof of claims. Its components are

1. Propositional calculus, click an example
2. Existential quantifier, for some (1 Corinthians 9:22)
3. Universal quantifier, for all
4. Transitivity: x=y, y=z => x=z
5. Proof by contradiction, click Jesus used it.

People not trained in FOL tend to overgeneralize and jump to conclusions. I was the same.

See also Translating between English and Propositional Logic.

 

[Mark Quayle]

click Jesus used it.

another "Post removed", but I know of places Jesus used proof by contradiction.

 

[tonychanyt]

another "Post removed", but I know of places Jesus used proof by contradiction.

See There is a resurrection of the dead: Jesus' proof by contradiction