Posted by Kathy on Wednesday, January 19, 2011 at 9:52am.
I assume you have a basic background in symbolic logic, which helps in solving this kind of problems.
The difference between the two kinds of statements is
A. if statements where the converse is true is of the form:
p <-> q, which has the same truth table as
p->q ∧ q->p
B. if statement where the converse is not (always) true is of the form:
p->q
Statements of type B are encountered more frequently in life, such as:
p->q
"If it rains(p), the street is wet(q)."
The converse is
q->p
"If the street is wet, it rains."
Statements of type A are more like equivalent statements than if statements:
p<->q ≡ (p->q)∧(q->p)
p->q: "If I am a member(p), I pay my dues(q)"
q->p: "If I pay my dues, I am a member".
"If the street is wet
Related Questions
Geometry - Conditional Statements/Proof - Rewire each statement as two if-then ...
Geometry - Can you tell em if this is right? If not, can you tell me what words ...
geometry - Write the converse of this statement. If two angles are both obtuse, ...
math - Write the converse of this statement. If 2 's are supplementary, then...
Math - Let p -> q represent the conditional statement All hummingbirds ...
Math - write the converse and contrapositive for the conditional statement below...
Math - write the converse and contrapositive for the conditional statement below...
geometry - Rewrite the biconditional as a conditional statement and its converse...
Geometry - Tell whether each statement is true or false. Then write the converse...
geometry - Write the converse, inverse, and contrapositive of the conditional ...
For Further Reading
