1
Oración declarativa "P implica Q".
2
Dominio de la función proposicional.
3
Secuencia de rigurosos argumentos matemáticos que son presentados en una forma clara y concisa.
4
Afirmación que proporciona un significado preciso.
5
Proposición compuesta "P y Q".
6
Proposición compuesta "P ó Q".
7
En la proposición P implica Q, ¿Quién es Q?
8
Proposición verdadera para todos sus estados.
9
Teorema que puede ser establecido como un caso especial.
10
Proposición matemática aun no demostrada.
11
"¬"
12
Clausula llamada cuantificador universal.
13
Proposición matemática que puede ser demostrada verdadera.
14
Proposición matemática tomada auto-evidente.
15
Clausula llamada cuantificador existencial.
16
Resultado especial, usado como paso necesario para demostrar otro teorema.