Converse implication is the converse of implication. That is to say; that for any two propositions P and Q, if Q implies P, then P is the converse implication of Q.
It may take the following forms:
-
- p⊂q, Bpq, or p←q
Read more about Converse Implication: Properties, Natural Language, Boolean Algebra
Famous quotes containing the word converse:
“I lately met with an old volume from a London bookshop, containing the Greek Minor Poets, and it was a pleasure to read once more only the words Orpheus, Linus, Musæus,—those faint poetic sounds and echoes of a name, dying away on the ears of us modern men; and those hardly more substantial sounds, Mimnermus, Ibycus, Alcæus, Stesichorus, Menander. They lived not in vain. We can converse with these bodiless fames without reserve or personality.”
—Henry David Thoreau (1817–1862)