or

ask mattrab Visit www.askmattrab.com for more academic resources.

Logic - An overview

Logic
       Logic is the process by which we arrive at a conclusion from the given statement with a valid reason.


Statement
       An assertion expressed in words or symbols, which is either true or false but not both at the same time, is known as statement.


Truth Value and Truth Table
       A truth or falsity of a statement is known as its truth value. A table presenting the collective truth values of multiple statements is called as truth table.


Logical Connectives
       Compound statements(a combination of two or more simple sentences) are made from the simple statements by using the words or phrase like "and ", "or", "If.....then", "If and only if" and they are known as logical connectives.
        Types of Logical Connectives
            →Negation:         It denies the given statement. 
                                                                #symbol -> " ~ "
            →Conjunction:    It combines two simple statement by the word "and" to form                                                               compound statement. 
                                                                #symbol -> "  "
            →Disjunction:     It combines two simple statement by the word "or" to form                                                                 compound statement. 
                                                               #symbol -> " v "
            →Conditional:     It combines two simple statement by the word "If....then" to form                                                       compound statement.       
                                                              #symbol -> " " or " "
            →Biconditional:  It combines two simple statement by the word "If and only if" to form                                               compound statement.       
                                                              #symbol -> " " or " "