Simbolizar proporciones compuestas.
p:12 es un número par.
q:12 es un número divisible por 2.
r:(12+3)es un número impar.

•Si siete es un número par,entonces es divisible por 2.

•Si 12 es un número par,entonces (12+3)no es un número impar.

•12 es número par (12+3)no es un número impar.​