# prepositional logic

## Logical Equivalence

We have seen prepositions, connectives and compound prepositions; all possible combinations of truth values of the individual prepositions in a compound preposition is depicted in a truth-table. However, it is possible that another preposition or compound preposition has the same truth values in the truth table. This is called logical equivalence of two prepositions. The …

## Prepositional Logic-Implication and Biconditional

In the previous video, you learned about different types of basic logical connectives that helps in creating compound prepositions. These connectives are join two or more atomic statements to form compound preposition which also have a truth value of its own. We have discuss negation, conjunction, and disjunction connectives so far, the remaining two connectives …

## Prepositional Logic – Negation of Statements

From the previous article, you know that a prepositional statement can have truth value and the values are boolean – true or false. A statement having true value can be negated using ‘not‘ operator and then its value becomes false or vice-versa. Consider the following example where variable p is the statement “I am eating“. …

## Prepositional Logic – Duality

We know that the simple statements are represented as p, q and so on. Suppose we are given a compound preposition. There is another property of compound prepositions called the duality; Therefore, the dual of above statement is The dual can be achieved by interchanging by or interchanging by . This means and is dual …