O documento define lógica e discute os principais conceitos relacionados, como:
1) A lógica analisa a validade de argumentos independentemente da verdade de seu conteúdo;
2) Existem dois tipos principais de argumentos - dedutivos, cujas conclusões decorrem necessariamente das premissas, e indutivos, cujas conclusões são prováveis mas não necessárias;
3) A lógica tem como objeto o argumento ou raciocínio, analisando sua estrutura formal independentemente do conteúdo.