Logic (Mathematics)

A study field that is used to find reasons and proof of a formula or a statement.

Some basic logic statements:

Conjunction:

             The statement "P ∧ Q" is called the conjunction of P, Q.

P	Q	P ∧ Q
T	T	T
T	F	F
F	T	F
F	F	F

Disjunction:

             The statement "P ∨ Q" is called the disjunction of P, Q.

P	Q	P ∨ Q
T	T	T
T	F	T
F	T	T
F	F	F

 

Atomic and Compound statements:

Atomic statements:

              Statements which do not contain any connectives are called atomic or primary or simple statements.

Example:

            

Compound statements:

           Statements which contain one or more atomic statements and at least one connective are called molecular or composite or compound statements.

Example:

             P∨(Q∧R)