Nivelacin de carrera-Mecatrnica

BT-14

Matemticas
Tema:
Formalizacin de las proposiciones
Tautologas y contradicciones

Integrantes:
Leonardo Ramn
Vctor Pillajo
Santiago Ortiz
Julio Moreno

Formalizacin de proposiciones
Formalizar una proposicin significa abstraer su forma lgica, es decir, revelar su
estructura sintctica a travs del lenguaje formalizado de la lgica. En trminos ms
sencillos, formalizar una proposicin equivale a representarla simblicamente.
La forma lgica de una proposicin es otra proposicin equivalente a la primera con la
diferencia de que en ella toda su estructura sintctica est completamente explicitada. A
partir de aqu, su frmula no es otra cosa que la que resulta de sustituir a toda
proposicin atmica distinta por una variable proposicional tambin distinta, a toda
conjuncin gramatical por el operador lgico correspondiente y el adverbio no por el
operador negativo. La tcnica de formalizacin de proposiciones comprende los
siguientes pasos:
a) Se explicita su forma lgica empleando las conjunciones y, o, si...,
entonces, si y slo si y el adverbio no en sustitucin de sus expresiones
equivalentes.
b) Se halla su frmula reemplazando cada proposicin atmica por una variable
proposicional, las conjunciones gramaticales por sus operadores lgicos
correspondientes y el adverbio no por el operador negativo.
c) Los signos de agrupacin se usan para establecer la jerarqua entre los
operadores de una frmula lgica, pero slo cuando su omisin la hace ambigua
Ejemplos de formalizacin de proposiciones:
a) Kant es filsofo, pero Frege es lgico
Forma lgica:
Kant es filsofo y Frege es lgico
Frmula:
p: Kant es filsofo.
q: Frege es lgico.
p q
b) No iremos al teatro a menos que venga Ral.
Forma lgica:
Si Ral viene, entonces iremos al teatro
Frmula:
p: Ral viene.
q: iremos al teatro.
p q
c) Einstein no es filsofo, sino fsico.

Forma lgica:
Einstein es fsico y Einstein no es filsofo.
Frmula:
p: Einstein es fsico.
q: Einstein es filsofo.
p ~ q
d) Euclides no es mdico ni fsico.
Forma lgica:
Euclides no es mdico y Euclides no es fsico.

Frmula:
p: Euclides es mdico.
q: Euclides es fsico
~ p ~ q o p q
e) Ni Vilma, ni Silvia, ni Anglica ingresaron a la universidad.
Forma lgica:
Vilma no ingres a la universidad y Silvia no ingres a la universidad y Anglica no
ingres a la universidad.
Frmula:
p: Vilma ingres a la universidad.
q: Silvia ingres a la universidad.
r: Anglica ingres a la universidad.
~ p ~ q ~ r

Tautologas y Contradiccin
Tautologa: una proposicin compuesta es una tautologa si es verdadera para todas las
asignaciones de valores de verdad para sus proposiciones componentes. Dicho de otra
forma, su valor v 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. Sea el caso:

Contradiccin: se entiende por proposicin contradictoria, o contradiccin, 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. Sea el caso:

Indeterminada: se entiende por verdad indeterminada, 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. Sea el caso:

Como darse cuenta si son tautologas contradiccin y indeterminada.

si la tabla de verdad de la proposicin es siempre verdadera, independientemente

de la verdad o falsedad de las proposiciones simples, entonces la expresin es
tautolgica.
si la tabla de verdad es siempre falsa, ser una contradiccin.

si es verdadera y falsa, la proposicin es una indeterminada.