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