You are here: irt.org | FOLDOC | proposition
<logic> A statement in propositional logic which may be either true or false. Each proposition is typically represented by a letter in a formula such as "p => q", meaning proposition p implies proposition q.
(2006-03-14)
Nearby terms: propeller key « proportionally spaced font « Proposal Writing « proposition » propositional calculus » propositional logic » Proposition of a Language Useable for Structured Specifications
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