Question

Give an example of a syllogism which is also called a logical chain

Answer 1

The classic one is:

All men are mortal.

Socrates is a man.

Therefor Socrates is mortal.

i.e. If all
`A` are
`B` and all
`C` are
`A` then all
`C` are
`B`.

`\overline{\exists x: Ax \land \overline{Bx}} \land \overline{\exists x: Cx \land \overline{Ax}} \Rightarrow \overline{\exists x: Cx \land \overline{Bx}}`