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

proposition

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

©2018 Martin Webb