La tautología que expresa la propiedad de la tiene la siguiente forma lógica: [(pq)(q→r)](pr). Por su parte, la tautología conocida como silogismo tiene la siguiente forma lógica:[(pq)(¬p)]→q. Esto supone que sabiendo que uno de los miembros de una es , entonces tenemos la seguridad de que el otro miembro es .