martes, 21 de agosto de 2012

Lógica proposicional; formas normales

Tautología
Una expresión lógica es una tautología si es verdadera para todas las asignaciones posibles.

Nota: 
Si P → Q es una tautología se le llama implicación y se escribe P ⇒Q
Si P ↔ Q es una tautología se dice que es una doble implicación, se escribe P ⇔ Q






La validez es parte de una tautología ya que se da en el razonamiento y puede realizarse mediante las tablas de verdad.


Tarea 2. Ejemplo de Tautología
Aquí esta mi tautología esta esta dada por 3 variables de entrada p,q y r, para realizarla primeramente declare las proposiciones estas son compuestas ya que contienen conectivos lógicos. 

Premisas

P1= p ->q
P2=r -> q
P3 = p V r -> q
PT= q
 Tabla de verdad
 


Referencias:
www.fdi.ucm.es/profesor/rmartine/.../logica_tema1_4.pd

1 comentario: