martes, 21 de agosto de 2012

Tautologia

Primero que nada vamos a ver que es una tautologia:


Es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.

Por lo tanto, para determinar si una fórmula cualquiera es una tautología, basta con considerar todas las posibles interpretaciones de las fórmulas atómicas, y calcular el valor de verdad del todo. Esto se logra mediante una tabla de verdad.

Ejercicio:

Esta tarea consistia en elaborar una tautologia con las siguientes condiciones:
  • 3 variables
  • 4 conectivos lógicos
  • Por lo menos 1 disyunción, 1 conjunción y 1 negación
Aqui la tabla de verdad:
1 = falso
0 = verdadero



 Aqui el arbol:

1 comentario:

  1. Típicamente usamos 0 para falso y 1 para verdadero :P Van 9 pts.

    ResponderEliminar