Boolean logic is a system of syllogistic logic invented by 19th-century British mathematician George Boole, which attempts to incorporate the "empty set", that is, a class of non-existent entities, such as round squares, without resorting to uncertain truth values. In Boolean logic, the universal statements "all S is P" and "no S is P" (contraries in the traditional Aristotelian schema) are compossible provided that the set of "S" is the empty set. "All S is P" is construed to mean that "there is nothing that is both S and not-P"; "no S is P", that "there is nothing that is both S and P". For example, since there is nothing that is a round square, it is true both that nothing is a round square and purple, and that nothing is a round square and not-purple. Therefore, both universal statements, that "all round squares are purple" and "no round squares are purple" are true. Similarly, the subcontr
La lógica booleana es un sistema de lógica silógica inventado por el matemático británico George Boole del siglo XIX, que intenta incorporar el "conjunto vacío", es decir, una clase de entidades no existentes, como los cuadrados redondos, sin recurrir a valores verdaderos inciertos. En la lógica booleana, las declaraciones universales "todo S es P" y "no hay nada que sea S y P" (contrarios en el esquema aristotélico tradicional) son composibles siempre que el conjunto de "S" es el conjunto vacío. "Todo S es P" se interpreta para significar que "no hay nada que sea S y no P"; "no hay nada que sea P", que "no hay nada que sea S y P".