proposition.

* If is a mammal, then is an animal.

Here, " is an animal" is the consequent.

* If computers can think, then they are alive.

"They are alive" is the consequent.

The consequent in a hypothetical proposition is not necessarily a consequence of the antecedent.

* If monkeys are purple, then fish speak Klingon.

"Fish speak Klingon" is the consequent here, but intuitively is not a consequence of (nor does it have anything to do with) the claim made in the antecedent that "monkeys

1.Previous
3.Next