Lógica de Predicados: Conceptos Básicos
Un predicado es una expresión que puede ser verdadera o falsa. Normalmente se representa con letras como P, Q, R, A, B, C, etc. La belleza de los predicados está en que podemos combinarlos mediante operaciones lógicas para crear expresiones más complejas.
La conjunción (AND, Y, ∧) es una operación que resulta verdadera solo cuando ambos predicados son verdaderos. En la tabla de verdad de la conjunción, P AND Q es verdadero únicamente cuando tanto P como Q son verdaderos. Si alguno es falso, el resultado será falso - básicamente, un solo valor falso anula toda la expresión.
La negación (NOT, ¬) simplemente cambia el valor de verdad de un predicado. Si P es verdadero, entonces NOT(P) es falso, y viceversa. La disyunción (OR, O, ∨) es verdadera cuando al menos uno de los predicados es verdadero - con solo una expresión verdadera, toda la disyunción se vuelve verdadera.
💡 Recuerda que cualquier expresión con varios predicados tendrá 2^n posibles combinaciones de valores de verdad, donde n es el número de predicados. Por ejemplo, una expresión con 3 predicados tendrá 2³ = 8 posibles resultados.