1.10 APLICACIONES

 CUANTIFICADOR EXISTENCIAL 

CUANTIFICADOR UNIVERSAL

DISEÑO DE CIRCUITOS LÓGICOS

1.9 LEYES DEL ALGEBRA DE LAS PROPOSICIONES

VIDEOS 

 

1.8 EQUIVALENCIA E IMPLICACION LOGICA

EQUIVALENCIA LOGICA

Definición:

Dos fórmulas lógicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad de sus componentes.

Ejemplo:

 Las dos fórmulas siguientes son equivalentes:

(p → ¬q) ∨ (¬p ∨ r)          ¬p ∨ ¬q ∨ r

Elaboramos la tabla.

p	q	r	¬q	¬p	p → ¬q	¬p ∨ r	(p → ¬q) ∨ (¬p ∨ r)	¬ p ∨ ¬q	¬p ∨ ¬q ∨ r
V	V	V	F	F	F	V	V	F	V
V	V	F	F	F	F	F	F	F	F
V	F	V	V	F	V	V	V	V	V
V	F	F	V	F	V	F	V	V	V
F	V	V	F	V	V	V	V	V	V
F	V	F	F	V	V	V	V	V	V
F	F	V	V	V	V	V	V	V	V
F	F	F	V	V	V	V	V	V	V

donde se puede observar que la última yla antepenúltima columnas son iguales.

Las equivalencias se relacionan con las tautologías de la siguiente forma.

Teorema: Si dos fórmulas lógicas son eqivalentes entonces la fórmula que se obtiene al operarlas con la bicondiconal es una tautología.

LEYES DE LA LÓGICA

1.7 TAUTOLOGIA, CONTRADICCION Y CONTIGENCIA

                                                              TAUTOLOGIA
Definición:

Es una expresión lógica  que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad.La construcción de una Tabla de verdad es un método efectivo para determinar si una expresión cualquiera es una tautología o no.

Por ejemplo:

CONTRADICCION

Definición:

Una proposición es una contradicción, si es falsa para todos sus valores de verdad .

Por ejemplo:

CONTINGENCIA

Definición:

Una proposición es una contingencia si no es ni verdadera ni  falsa independientemente de los valores de verdad de las proposiciones simples que la componen.

Por ejemplo:

VIDEOS

TOUTOLOGIA

CONTRADICCION

                                                                  CONTIGENCIA