Propositional logic deals with simple statements that are either true or false. It uses logical connectives to build complex expressions. Example:  P ^ Q if both   P   and  Q  are true, then the whole expression is true. Propositions Proof Theory focuses on the rules for logical deductions and includes completeness,Continue Reading