Dmitri Medvedjev The main article for this category is Logical symbol. Subcategories This category has only the following subcategory. C Logical connectives (21 P) Pages in category "Logic symbols" The following 50 pages are in this category, out of 50 total. This list may not reflect recent changes. . .·.* List of logic symbols Symbol (formal)→ →↓ ↓⇔ ⇔∃ ∃ ∄¦ ¦~ ~∧ ∧∨ ∨∴ ∴⊃ ⊃⊢ ⊢⊤ ⊤⊥ ⊥⊨ ⊨A Ampersand & Arrow (symbol)C Logical connectiveD Descending wedge Double turnstileE Eet (symbol) Existential quantificationF Free variables and bound variablesG Glossary of Principia MathematicaH Horseshoe (symbol)L Literal (mathematical logic) Logical constant Lozenge (shape)M Metavariable Modal operatorN Non-logical symbolP Pipe character Predicate variable Propositional variableS Sheffer strokeT Tee (symbol) Therefore sign Thus symbol Tilde Triple bar Turned A Turnstile (symbol)U Universal quantification Up tackV Vertical barW Wedge (symbol) No tags for this post. Navigeerimine EstookinAlyona Polunina
You must be logged in to post a comment.