You are here: irt.org | FOLDOC | propositional logic
<logic> (or "propositional calculus") A system of symbolic logic using symbols to stand for whole propositions and logical connectives. Propositional logic only considers whether a proposition is true or false. In contrast to predicate logic, it does not consider the internal structure of propositions.
(2002-05-21)
Nearby terms: Proposal Writing « proposition « propositional calculus « propositional logic » Proposition of a Language Useable for Structured Specifications » proprietary » PROSE
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