Show Menu
Cheatography
  1. Home >
  2. Cheat Sheets >

Propositional Logic Cheat Sheet (DRAFT) by

Basic laws and symbols

This is a draft cheat sheet. It is a work in progress and is not finished yet.

Basic Symbols

¬ or ~ : Negation (NOT)
∧ : Conjun­ction (AND)
∨ : Disjun­ction (OR)
→ : Condit­ional (IF...T­HEN)
↔ : Bicond­itional (IF AND ONLY IF)
⊤ : Tautology (always true)
⊥ : Contra­diction (always false)
 

Truth Tables for Basic Operations

p
¬p
F
T
T
F