Cuardaigh téarma Béarla nó Gaeilge
Search for a term in English or Irish
#
Matamaitic » Loighic & Tacartheoiric Is slonn é foirmle thairisceanach oscailte (nó foirmle, mar a thugtar air go coitianta) ina bhfuil líon críochta athróg p, q, r, etc., agus líon críochta de na hoibríochtaí loighciúla: ∧ (agus), ∨ (nó), ¬ (ní), → (impleacht), agus ↔ (coibhéis), a ndéantar tairiscint de nuair a chuirtear tairiscintí sonracha in ionad na n-athróg.
Mathematics » Logic & Set Theory An open propositional formula (or formula, for short) is an expression containing a finite number of variables p, q, r, etc., and a finite number of the logical operations: ∧ (and), ∨ (or), ¬ (not), → (implication), and ↔ (equivalence), which becomes a proposition when specific propositions are substituted for the variables.