Critikid Logo

How to Type the Connective Symbols of Symbolic Logic

Here is a guide on how to type the connective symbols for symbolic logic, also called formal logic or sentential logic, on Mac and Windows. You can use these codes or just copy and paste the symbols from this page.

This article will not cover the meanings of the symbols in depth, but this will be covered in my course Symbolic Logic for Teens, coming to Critikid this March.

Connective Symbol
Negation ¬
Conjunction
Disjunction
Conditional
Biconditional
Therefore

How to Type the Negation Symbol ¬

The negation symbol in formal logic looks like a little hook. It means “not” or “it is not the case that”.

On Windows: Press Alt + 170
On Mac: Press Option + L

How to Type the Conjunction Symbol ∧

The conjunction symbol in formal logic means the same thing as English “and” and “but”.

On Windows: In Microsoft word, press Alt + 8743
On Mac: Press Control + Command + Space and search “logical and”

How to Type the Disjunction Symbol ∨

The disjunction symbol in formal logic stands for the inclusive “or”, which means “either, or, or both”.

On Windows: In Microsoft word, type 2228 and then press Alt + X
On Mac: Press Control + Command + Space and search “logical or”.

How to Type the Conditional Symbol →

The conditional symbol in formal logic means “if, then”.

On Windows: In Microsoft word, type 2192 and then press Alt + X (or, for a different style, type -->)
On Mac: Press Control + Command + Space and search “rightwards arrow”.

How to Type the Biconditional Symbol ↔

The conditional symbol in formal logic means “if and only if”.

On Windows: In Microsoft word, type 2194 and then press Alt + X.
On Mac: Press Control + Command + Space and search “left right arrow”.

How to Type the Therefore Symbol ∴

The therefore symbol indicates a conclusion.

On Windows: In Microsoft word, type Alt + 8756
On Mac: Press Control + Command + Space and search “therefore”.


Courses

Fallacy Detectors Part 1

Develop the skills to tackle logical fallacies through a series of 10 science-fiction videos with activities. Recommended for ages 8-12.

US$15

Symbolic Logic for Teens Part 1

Learn how to make sense of complicated arguments with 14 video lessons and activities. Recommended for ages 13 and up.

US$15

Worksheets

Symbolic Logic Worksheets icon

Symbolic Logic Worksheets

Worksheets covering the basics of symbolic logic for children ages 12 and up.

US$5

Elementary School Worksheets and Lesson Plans icon

Elementary School Worksheets and Lesson Plans

These lesson plans and worksheets teach students in grades 2-5 about superstitions, different perspectives, facts and opinions, the false dilemma fallacy, and probability.

US$10

Middle School Worksheets and Lesson Plans icon

Middle School Worksheets and Lesson Plans

These lesson plans and worksheets teach students in grades 5-8 about false memories, confirmation bias, Occam's razor, the strawman fallacy, and pareidolia.

US$10

High School Worksheets and Lesson Plans icon

High School Worksheets and Lesson Plans

These lesson plans and worksheets teach students in grades 8-12 about critical thinking, the appeal to nature fallacy, correlation versus causation, the placebo effect, and weasel words.

US$10

Statistical Shenanigans Worksheets and Lesson Plans icon

Statistical Shenanigans Worksheets and Lesson Plans

These lesson plans and worksheets teach students in grades 9 and up the statistical principles they need to analyze data rationally.

US$10