Paquete Proposicional
Supraordinada
P1: Todo Número Par es Número Natural.
Isoordinadas
P2.1: Todo Número Par es Número que termina en 0, 2, 4, 6 y 8.
P2.2: Todo Número Par es Número divisible para 2.
Exclusiones
P3: Ningún número par es número impar.