# Elementary logic

Logic does not let us know whether specific statements or claims are true or false.

Logic allows us to test whether propositions or arguments are valid or invalid and on a higher level if arguments are valid or fallacious. A fallacy is a provable error in a chain of reasoning due to the form of the argument itself. The conclusion does not follow or is not proven by the preceding argument or set of presented facts, assumptions, and statements.

## Single Statements[edit | edit source]

A proposition is a statement that can be either true or false. It is a claim.

Consider these statements:

I am human. 1 + 1 = 2 Roses are redandviolets are blue.

These statements can be either true or false. **Negations** of these statements are:

I amnothuman. 1 + 1 ≠ 2 It is not the case that roses are redandviolets are blue.

which are also statements.

## Operators[edit | edit source]

As for the operators, the basic operators are as follows:

If p and q are both propositions,

**Negation:***Not*p (meaning p is not true)**Conjunction:**p*and*q are both true**Inclusive Disjunction:**p*or*q*or both***Exclusive Disjunction:**p*or*q*but not both***Conditional:***If*p is true*then*q is true (but not necessarily the other way around)**Biconditional:**p is true*if and only if*q is true (meaning they are either both true or both false)

The NAND, NOR and XOR are all combinations of these (not-and, not-or and not-biconditional respectively)

## Multiple Statements[edit | edit source]

Two or more statements (which we will call "X" and "Y") can be joined together with logical **operators** to form larger statements (which we will call "Z"). These include but are not limited to:

**AND**- Z is true if both X and Y are true. If either or both are false, Z is false.**OR**- Z is true if either of X or Y is true. Z is only false if both X and Y are false.**NAND**- Z is true if at least one of X or Y is false. Z is false when both X and Y are true.**NOR**- Z is true if both X and Y are false. Z is false when X or Y or both are true.**XOR**- Z is true if either X or Y is true. Z is false when both X and Y are true, or when both X and Y are false.