Princípios Fundamentais da Demonstração

1. Princípio da Identidade

A é A.

A é A necessariamente, enquanto é A.

1. Princípio da não‑contradição (princípio da contradição)

A não pode ser não-A ao mesmo tempo.

É impossível que algo simultaneamente seja e não seja sob o mesmo aspecto.

1. Princípio do terceiro excluído

(princípio da disjunção)

Se A é B, A não pode ser não‑B.

Se A é não‑B, A não pode ser B.

Ou algo é ou algo não é.