Anonymous

Not logged in

  • Create account
  • Log in
HandWiki

Help

Category:Logic symbols

From HandWiki

Namespaces

  • Category
  • Discussion

More

  • More

Page actions

  • Read
  • View source
  • History
  • ZWI Export

Handwiki book24.pngComputing portal

Here is a list of articles in the category Logic symbols of the Computing portal that unifies foundations of mathematics and computations using computers.

Subcategories

This category has only the following subcategory.

C

  • Logical connectives‎ (22 P)

Pages in category "Logic symbols"

The following 52 pages are in this category, out of 52 total.

*

  • List of logic symbols
  • Symbol (formal)

A

  • Ampersand
  • &
  • Arrow (symbol)

C

  • Caret
  • Logical connective

D

  • Descending wedge
  • Double turnstile
  • Downwards zigzag arrow

E

  • Eet (symbol)
  • Existential quantification

F

  • Free variables and bound variables

G

  • Glossary of Principia Mathematica

H

  • Horseshoe (symbol)

L

  • Literal (mathematical logic)
  • Logical constant
  • Lozenge
  • Lozenge (shape)

M

  • Metavariable
  • Modal operator

N

  • Non-logical symbol

P

  • Predicate variable
  • Propositional variable

S

  • Sheffer stroke

T

  • Tee (symbol)
  • Therefore sign
  • Thus symbol
  • Tilde
  • Triple bar
  • Turned A
  • Turnstile (symbol)

U

  • Universal quantification
  • Up tack

V

  • Vel (symbol)
  • Vertical bar

W

  • Wedge (symbol)

~

  • ~

¦

  • ¦

→

  • →

↓

  • ↓

⇔

  • ⇔

∃

  • ∃

∄

  • ∄

∧

  • ∧

∨

  • ∨

∴

  • ∴

⊃

  • ⊃

⊢

  • ⊢

⊤

  • ⊤

⊥

  • ⊥

⊨

  • ⊨
Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Logic_symbols&oldid=221319"
Categories:
  • Formal languages
  • Notation
  • Syntax (logic)
  • Concepts in logic
  • Mathematical symbols
Encyclopedia of Knowledge
Main page Data analysis Astronomy & Space Biology Computer concepts Chemistry Mathematics Physics Earth studies Unsolved problems
History Philosophy Social studies Religion Medicine
Engineering & Tech Software programs Finance & Business
Biographies Organizations Companies Places
Books Monographs Tutorials Manuals

Navigation

Navigation

  • Add a new article
  • Search in all topics
  • Search in namespaces
  • Search in categories
  • Search using prefix

Help

  • About HandWiki
  • FAQs
  • How to edit
  • Citation manager
  • Formatting articles
  • List of categories
  • Recent pages
  • Recent changes
  • Random page
  • Support & Donate

Translate

Wiki tools

Wiki tools

  • Special pages

Page tools

Page tools

    User page tools

      More

      • What links here
      • Related changes
      • Printable version
      • Permanent link
      • Page information
      • Page logs

      Other projects

      In other languages

        Add links

        Categories

        Categories

        • Formal languages
        • Notation
        • Syntax (logic)
        • Concepts in logic
        • Mathematical symbols
        • Powered by MediaWikiPowered by MathJax
        • This page was last edited on 16 January 2021, at 17:59.
        • Privacy policy
        • About HandWiki
        • Disclaimers