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

Roman numerals are represented by seven different symbols: I, V, X, L, C, D and M. Symbol Value I 1 V 5 X 10 L 50 C 100 D 500 M 1000 For example, two is written as II in Roman numeral, just two one’s added together. Twelve is written as, XII, which is simply X + II. The number twenty seven is written as XXVII,Continue Reading