Una conjunción es un «enunciado con dos o más elementos simultáneos». La conjunción de dos proposiciones simples p^q ( que se lee: ” p y q”) es verdadera si ambas proposiciones son verdaderas. La conjunción (^), es una conectiva lógica que se denomina el operador lógico AND y representa el producto lógico.
Observe que la tabla de verdad para dos proposiciones simple tiene cuatro renglones que contienen todas las posibilidades o alternativas de combinación de los valores de la verdad de las proposiciones simples.
Para generalizar, si n es el número de proposiciones simples, entonces la tabla de verdad de la expresión lógica tendrá 2^n renglones, en los que aparecen todas las posibles y diferentes combinaciones de valor de verdad de las proposiciones simples.
Para negar una proposicion simple se emplea el símbolo ˜ de tal forma que ˜p ( que se lee”no p”), y es tal , que si p es verdadera (1), ˜p será falsa (0), y viceversa. el operador negación (˜) también se denomina NOT por razones obvias.
*EJEMPLOS:
Hay muchas maneras de negar algo:
- El dinero no es la felicidad.
- Es falso que el dinero es la felicidad.
- No es el caso que el dinero es la felicidad.
- El dinero es cualquier cosa menos la felicidad.
- Es inaceptable decir que el dinero es la felicidad.
- Delira quien sostiene que el dinero es la felicidad.
- No se afirma con verdad que el dinero es la felicidad.
EJEMPLO 8.-
p.- Juan conversa
-p.- Juan no conversa
EJEMPLO 9.-
p.-3+5=9
~p.- 3+5 no es igual a 9
