Tablas de verdad

2BM

1. TABLAS DE VERDAD

2. TABLA DE VERDAD Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar, el dominio para cada operando es muy reducido: true o false (Verdadero o falso)

3. Conjunción La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso.

4. Disyunción La disyunción es un operador lógico que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

5. Negación La negación operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.

6. EJEMPLOS CONJUNCION: p = ” El numero 4 es par ” q = ”Siempre el residuo de los números pares es 2″ entonces… p^q : “El numero 4 es par y Siempre el residuo de los números pares es 2 ″ p = ” El numero mas grande es el 34 ” q = ”El triangulo tiene 3 lados″ entonces… p^q : “El numero mas grande es el 34 y El triangulo tiene 3 lados”

7. EJEMPLOS NEGACION p: “4 + 4 es igual a 9 ” -p: “4 + 4 no es igual a 9 ″ p: “El 4 es un numero par ” -p: “El 4 no es un numero par”

8. EJEMPLOS DISYUNCION: p = ” El numero 2 es par ” q = ” la suma de 2 + 2 es 4 ″ entonces … pvq : “El numero 2 es par o la suma de 2 + 2 es 4 ″ p = ” La raíz cuadrada del 4 es 2 ” q = ” El numero 3 es par ″ entonces … pvq : “La raíz cuadrada del 4 es 2 o el numero 3 es par”