converse
<logic> The truth of a proposition of the form A => B and its converse B
=> A are shown in the following truth table:
A B | A => B B => A
------+----------------
f f | t t
f t | t f
t f | f t
t t | t t
(2002-07-12)
Nearby terms:
Convergent Technologies Operating System «
Conversational LISP « Conversational Monitor System
« converse » conversion to iteration »
CONVERT » convert.f90
|