Cálculo lógico: análisis de proposiciones mediante tablas de verdad

Una vez que tenemos identificadas las proposiciones y sus conectores lógicos podemos analizar su la validez lógica mediante tablas de verdad. Dependiendo de los resultados tendremos tautologías, contradicciones y consistentes o indefinidas.

Son tautologías cuando la tabla es siempre verdadera, como por ejemplo.

Las tautologías son leyes lógicas y son las que nos interesan encontrar.

Las contradicciones son aquellas cuyo resultado siempre es falso.

Las fórmulas consistentes, o indefinidas, son aquellas que unas veces adoptan un valor verdadero y otras falso.

Anuncios

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s