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

propositional logic

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

©2018 Martin Webb