Proposition - any meaningful statement that is either true or false, but not both.

Truth table - displays the relationships between the truth values of propositions.
Tautology if it is always true, regardless of the truth values of the basic
propositions which comprise it.
A compound proposition that has the value F for all possible values of the
propositions in it is called a Contradiction
Argument is a set of two or more propositions related to each other
The proposition x D,P(x) is false if P(x) is false for at least one value of x. In this
case x is called a Counterexample

Conjunction

AND

Disjunction

OR

Exclusive Or

XOR

Equivalent

Equals

Negation

Inverter

Contradiction

Conditional (Implication)

Bi conditional

Universal Quantifier

Existential quantifier.

Nasa CP ung iba

XNOR

True only when both p

and q are true and it is
false otherwise
False only when both p
and q are false, otherwise
it is true.
True when exactly one of
p and q is true and is
false otherwise.
Exactly the same truth
values under all
circumstances.
p, denoted p, is the
proposition not p
F for all possible values of
the propositions in it
False only when p is true
and q is false
True when both p and q
have the same truth
values and false if p and
q have opposite truth
values.
False if P(x) is false for at
least one value of x.
True if there is at least
one value of x D where
P(x) is true; otherwise it is
false.