Uma equivalente lógica da afirmação “Se penso, então estou vivo” pode ser dada pela afirmação:
Se não estou vivo, então não penso.
Não penso ou não estou vivo.
Não penso e não estou vivo.
Penso e não estou vivo.
Se não penso, então não estou vivo.
