# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Converse (logic)

In logic, if "S" is a statement of the form P implies Q, then the converse of "S" is a statement of the form Q implies P. In general, the verity of "S" says nothing about the verity of its converse.

For example, consider the true statement "If I am a human, then I am mortal." The converse is that statement is "If I am mortal, then I am a human," which is not necessarily true. Mathematicians and logicians also sometimes speak of the converses of statements of different forms; for example, the converse of the statement "All humans are mortal" is "All mortals are human."

A truth table makes it clear that "S" and the converse of "S" are not logically equivalent:

Truth Table for an Implication and its Converse
p q p→q q→p
T T T T
T F F T
F T T F
F F T T

If the statement "S" and it's converse are equivalent then affirming the consequent is valid. This means P is true if and only if Q is also true.