# 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.**

## 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.**

## Worksheets

### Symbolic Logic Worksheets

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

### 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.

### 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.

### 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.

### 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.