Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

converse

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

©2018 Martin Webb