biconditional statement

If two simple statements p and q are connected by the connective 'if and only if', then the resulting compound statement is called the biconditional statement. Symbolically it is represented by p q. Example: An integer is even if and only if it is divisibl..

Conditional and Biconditional Statements - It is already mentioned in earlier classes that compound statements of different propositions can be obtained by conjunction, disjunction and negation of propositions. We just recall these three basic logical connectivities an..

It is already mentioned in earlier classes that compound statements of different propositions can be obtained by conjunction, disjunction and negation of propositions. We just recall these three basic logical connectivities and their truth table and subsequently we shall learn about condi..

Logical Equivalence - Two propositions (simple or compound) are said to be logically equivalent if they have identical truth values. If p is logically equivalent to q, we denote p q. We have already constructed the truth table of (~p) q in earlier class. Recall the same truth table. Truth Table for..

; The biconditional statement 'p q' of statements p and q is true only when p and q have same truth value..

A Boolean algebra is a set B with two distinct elements, along with the binary operations '+' and '.' and a unary operation (') which satisfy closure property, commutative property, existence of unit element, distributive property for both the binary operations. Moreover, for all x B, there exist..