Академический Документы
Профессиональный Документы
Культура Документы
LOGICA PROPOSICIONAL
ESTUDIANTE:
xxxxxxxxxxxxxxxxxxx
TUTOR:
xxxxxxxxxxxxxxxxx
CEAD: VALLEDUPAR
2015
LAS TAULOGIAS
Una tautologa es aquella frmula bien formada que resulta siempre verdadera,
independientemente del valor de verdad que sus proposiciones atmicas tengan. Esto
significa que independientemente de los valores de verdad que tengan las premisas, la
conclusin siempre va a ser verdadera. La tautologa es utilizada en los procesos de
deduccin de la lgica sentencial.
Ejemplos de tautologa:
Sean las siguientes proposiciones:
A: Voy al cine
B: Voy a cenar
C: Me quedo en casa
Entonces la sentencia:
(a^b) -> (a v c)
Es una tautologa, la tabla de verdad de esta construccin es:
a
V
V
V
V
F
F
F
F
b
V
V
F
F
V
V
F
F
c
V
F
V
F
V
F
V
F
c
F
V
F
V
F
V
F
V
a^b
V
V
F
F
F
F
F
F
avc
V
V
V
V
F
V
F
V
(a ^ b) -> (a v c)
V
V
V
V
V
V
V
V
CONTRADICCIN
Si una proposicin compuesta es falsa para todas las asignaciones entonces es una
contradiccin. Son formulas sentencialmente contra-validas o de tercer grado.
La contradiccin es aquella proposicin que en todos los casos posibles de su tabla de
verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de
verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las
relaciones sintcticas de unas con otras.
Ejemplo:
A A (se lee: A y no A).
A
V
F
A
F
V
A ^ AA
V
V
CONTINGENCIA
Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser
verdadera o falsa, (combinacin entre tautologa y contradiccin) segn los valores de las
proposiciones que la integran.
Ejemplo:
A^(BVC)
Solucin
El anterior problema de lgica proposicional corresponde a una contingencia.
P: como vivo en un lugar muy retirado de la Unad, entonces debo desplazarme en un viaje
de 7 horas
Q: es as que cuando viajo me da migraa
R: siempre que me da migraa, me entra un escalofri
S: as pues que siempre que entra un escalofri severo viajo.
Referencias
http://www.ejemplosde.com/29-logica/1573-ejemplo_de_tautologia.html
https://matematicasdiscretasisc.wordpress.com/2011/10/13/tautologias-contradiccion-ycontingencia/
http://objetos.unam.mx/logica/diagramasVenn/