La tautología que expresa la propiedad de la tiene la siguiente forma lógica: [(pq)(qr)](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 .