گوییک ِ گزارهای، ~ گزارهها guyik-e gozâre-yi, ~ gozaarehâ
*Fr.: logique propositionnelle*
A branch of logic that deals with the → *truth value*s
of logical statements (→ *sentence*s,
→ *proposition*s) and uses
→ *logical connective*s to build more complex
→ *expression*s. The distinctive feature of propositional logic
is that it does not deal with logical relationships and properties that involve the
parts of a statement smaller than the simple statements making it up. The propositions
are evaluated as → *true* or → *false*.
A more expressive system is provided by the → *first-order logic*. → *proposition*; → *-al*;
→ *logic*. |