PROPOSITIONAL LOGIC (TRUTH TABLE...)

• Symbols are used to represent statement to show their relation.

• In general, people usually use lower case letters such as p,q,r,s,... to represent the propositions and will be combine later to get compound proposition by using the standard logical operators such as:

              1)        ¬       - NOT or Negation
                 2)          ˄       - AND

                 3)          ˅       - 0R

                 4)         →      - conditional implication (if....then....)

                 5)    ←→      - if and only if ( bi-conditional )

•  We can obtain the result of compound proposition by using a TRUTH TABLE.

• In particular, truth tables are used to tell whether a propositional expression is true for all legitimate input values, that is, logically logic.

• In simple word, a Truth Table shows the relationship between the truth values of proposition.  

•  Next, we will see 5 basic truth table for the 5 logical operators.