Propositional Logic

Introduction to Logic

Logic defines a formal language for representing knowledge and for making logical inferences. It helps us to understand how to construct a valid argument.

Propositional Logic

Definition: A proposition is a statement that is either true or false.

Composite Statements

More complex propositional statements can be build from elementary statements using logical connectives.

Logical connectives


Definition: Let p be a proposition. The statement ″It is not the case that p.″ is another proposition, called the negation of p. The negation of p is denoted by ¬p and read as "not p″.

For more details, please contact me here.
Date of last modification: February 27, 2019