KnowledgeBoat Logo
|

Computer Science

What is meant by implication? How is it different from biconditional?

Boolean Algebra

10 Likes

Answer

When two propositional statements are joined together such that the second statement is a logical consequent of the first, then the relation is said to be implication. It is denoted by → , ⇒ or ⊃ . For example, A → B refers to as 'A implies B' and has its literal meaning as 'if A is true then B is true'. A → B can be represented as A' + B.
A Bi-Conditional joins two logical statements in such a way that the result is true if both of them have the same truth values. It is represented by the symbol ↔ or ⇔ and is said to be 'if and only if'. For example, A ⇔ B refers to 'A bi-conditional B' and can be represented as A'.B' + A.B.

Answered By

7 Likes


Related Questions