You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL