LÓGICA SIMBÓLICA

Es una representación gráfica de los valores de verdad.

• Proposición

• Tabla de verdad

La tabla básica de verdad de dos proposiciones tiene:

• 4 filas; 2 columnas

• 5 filas; 2 columnas

• 6 filas; 3 columnas

• 8 filas; 4 columnas

La fórmula 2ⁿ representa:

• Número de filas

• Número de columnas

En las columnas se escriben las proposiciones:

• Verdadero

• Falso

En las filas se describen los valores de verdad:

• Verdadero

• Falso

Si p es verdadera como es el valor de verdad de ~p:

La tabla de verdad de 3 proposiciones tiene:

• 3 columnas; 8 filas

• 4 columnas; 8 filas

• 3 columnas; 9 filas

• 8 columnas; 4 filas

Si el valor de verdad de la ~r es falso; ¿Cómo es el valor de verdad de r?

La negación es la operación contraria a la afirmación, si la proposición es verdadera entonces su negación es falsa y viceversa.

• Verdadero

• Falso

pvq es falsa (f) cuando los valores de verdad de p y q son falsas, en cualquier otro caso es verdadera. Corresponede a la regla de:

• Condicional

• Disyunción

• Bicondicional

• Conjunción