In logic if P and q qre simple propositions, the a condtional
prposition is if p then q. Or symbolically we writ this by p
--> q.
A biconditional proposition is if p
then then q and if q then p, and it is denoted by p <--> q. It is
is also written like if and only if or
iff.
Example :
1)
A number is rational if and only if it can be expressed as a
quotient of two integers.
2) A quadrilateral is paralllogram iff it
has equal opposite angles.
Thruth tabbes for a bicinditional
propositions is as follows:
P q P
<---> q
T T
T
F T
F
T F
F
T T
T.
No comments:
Post a Comment