Logical statements have truth values such as true or false. One or more simple logical statements can be connected to make a compound statement which also has truth value. The connectives are logical operators that connect one or more logical statements or atomic statements.
The outcome depends on the truth value of individual statements that are part of the compound statement; therefore, all combination of truth values for each atomic statements displayed in a tabular form called the truth table including outcome for each input combinations.
In prepositional logic, there are 5 basic logical connectives which is the topic of this article. These are,
|Biconditional||if-and-only-iff or iff|
We have already discussed negation in previous video. Negation simply negates the truth value of an atomic statement. If is a statement with value – True, then is False.
The truth table for negation is given below.
The negation is unary operator which means it only takes a single element or a group of elements enclosed in parenthesis.
The conjunction is connective that takes two or more atomic statements and make a compound statement. The output of conjunction is similar to boolean and operator. If all the input combination of a compound statement is True, then the output is True; otherwise, it is False.
The conjunction or and operator works on the “all or nothing” principle.
The truth table for conjunction is given below.
The total number of rows in this table depends on the number of variables; therefore, if there are two variables.
Number of rows =
Note that the only row with result True is where both inputs are True.
The disjunction is similar to boolean OR logic. It takes one or more atomic statement and makes a compound statement. If the said compound statement is True then there is at-least one atomic statement with a truth value – True.
The truth table for disjunction also depends on the number of variables.
In the next article, we will discuss about the implication and biconditional connectives. We discuss why they are different from other basic connectives.