BICONDITIONALITY
BY: Steven Fernandez
David Guity
And. Billy Wilson dundundunnnnn…

Biconditionals are when 2 compound logic statements are put together using “and” or “if and only if”. We use biconditionals so that lazy mathematicians can relate information to each other with out having to write a lot. In a Biconditional there will be many symbols such as ~(negative) ^(and) v(or) and -->(conditional). An example of a biconditional is:

(P^Q)<-->(PVQ) If P was true and Q was false than:
(T^F)<-->(TVF) You first solve what is inside the parenthesis:
F<-->T than u find the answer of the bicontitional
False! Tip! If at the end there are 2 different values (T+F or F+T) the answer is false, if there are 2 of the same values (T+T or F+F) than the answer is true.

Examples:
If P is true and Q is false then solve these equations:
1) ~P<-->Q= F<-->F=T
2) P<-->Q=T<-->F=F
3) (Q^P) <-->(P^Q) = (F^T) <-->(T^F) =F^F=T
4) (P^Q) <-->Q= (T^F) <-->F=F<-->F=T
5) P <-->(QvP) =T<-->(FvT)=T<-->T=T


Class Problems:
If P is false and q is true then solve these equations:

1. P<-->q
2. ~p<-->~q
3. (~q<-->~q) -->p
4. (~p^q) <-->q
5. (P<-->q) ^p
6. (~p<-->~q) ^q
7. (P<-->q) -->q
8. ~p<-->q
9. P<-->~q
10. (~p<-->q) -->p

Conclusion:
Biconditions are basically a double conditional. . In a Biconditional there are many symbols such as ~(negative) ^(and) v(or) and -->(conditional). Biconditionals are when 2 compound logic statements are put together using “and” or “if and only if”.

Remember: We use biconditionals so that lazy mathematicians can relate information to each other with out having to write a lot.