Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2º Lógica Proposicional
2º Lógica Proposicional
CONCEPTO DE PROPOSICIN
En matemticas, algunas proposiciones reciben nombres especiales.
Destacaremos, como ms importantes, los llamados postulados o axiomas (palabras en la actualidad
sinnimas en algunos casos) y los teoremas.
Postulados o Axiomas: Son aquellas proposiciones que se dan como ciertas desde un principio:
Ejemplo: "Por dos puntos distintos pasa siempre una recta y slo una".
Teoremas: Son aquellas proposiciones cuya certeza es demostrada por un razonamiento, conforme a
las leyes de la lgica.
a.
b.
c.
d.
e.
g.
h.
i.
j.
Se llama proposicin a todo enunciado respecto del cual se disponga de un criterio que nos
permita afirmar que su contenido es verdadero (V) o falso (F).
A toda proposicin se le puede asignar uno de los dos valores: verdadero (V) o falso (F),
pero nunca ambos a la vez.
Son ejemplos de proposiciones:
Carmen es prima de Jos. (Este enunciado puede ser, en efecto, verdadero o falso.)
Sofa est cansada. (Como en el ejemplo anterior, este enunciado puede ser verdadero o
falso.)
Los nios necesitan jugar.
Scrates es un hombre.
La cultura es fundamental para la humanidad.
x + 4 = 26 (Ntese que segn el valor que adopte la variable x, este enunciado puede ser
verdadero o falso).
Por el contrario, no seran proposiciones los siguientes enunciados:
Dile que pase!
Pon el libro en la estantera!
Todas las personas tienen que cuidarse.
Ser eso cierto?
En efecto, los ejemplos g) y h) no constituyen proposiciones, puesto que los enunciados
que en ellos figuran no son susceptibles de adaptar uno de los valores: verdadero o falso, y
puede afirmarse, en general, que ni las frases imperativas, como g) y h), ni las frases
interrogativas, del tipo j), constituyen proposiciones.
En cuanto al ejemplo i), tampoco constituye una proposicin, puesto que la partcula
todas indica que el enunciado debe cumplirse en todos los casos, y por tanto ser siempre
verdadero, con lo que desaparece el carcter de bivalencia que caracteriza a toda proposicin.
"El tringulo abc es equiltero", es una proposicin.
Se trata de una sentencia de la que se puede afirmar si es verdadera o falsa.
De haber suprimido esta palabra, el enunciado resultante las personas tienen que cuidarse,
s constituira una proposicin, ya que dicho enunciado podra ser verdadero o falso.
PROPOSICIN
1. A qu se llama proposicin?
2. Cmo se designa cada una de las proposiciones simples?
El carcter de no exclusiva indica que pueden verificarse las dos proposiciones a la vez, es
decir, que una de las proposiciones no excluye a la otra.
Ejemplo: Se considera la proposicin iremos a pasear o cantaremos; se comprende
fcilmente que son posibles tres opciones:
1. Ir a pasear.
2. Cantar.
3. Ir a pasear y cantar al mismo tiempo.
"Trace las alturas del tringulo abc" no es una proposicin: se trata de una sentencia de la que no
puede afirmarse que sea verdadera o falsa.
si P, entonces Q: P Q
si Q, entonces P: Q P
El uso del condicional puede dar origen a proposiciones que podran calificarse de absurdas. Ellas se
presentan cuando no existe relacin entre el antecedente y el consecuente. La proposicin "Si mi
perro tiene cinco patas, entonces yo volar montado en una escoba" puede parecer extraa, sin
embargo es una proposicin verdadera.
"El tringulo abc es rectngulo si y slo si tiene un ngulo recto" es una proposicin bicondicional. Se
cumple que si P: "El tringulo abc es rectngulo" es verdadera, entonces, Q: "El tringulo abc tiene
un ngulo recto" tambin es verdadera; pero si P es falsa, entonces Q tambin es falsa.
Negacin
Este conector proposicional es el nico que acta sobre una nica proposicin y consiste,
dada una proposicin, en su negacin.
Ejemplo: Dada la proposicin P: Hoy llueve. Su negacin ser la proposicin: Hoy
no llueve.
Como ya se ha dicho con anterioridad, se representa indistintamente mediante los
smbolos , , N, ~.
As, la proposicin Hoy no llueve, puede representarse mediante P , P, NP, ~P.
Tabla de verdad. Como es natural, los valores de la negacin de una proposicin, -P , son los
contrarios a los valores que adopte la proposicin P. Es decir, si una proposicin P es
verdadera, su negacin P es falsa, y si P es falsa, su negacin es verdadera.
Negacin:
Tabla de verdad
P
P
V
F
F
V
Conjuncin P Q
Este conector, como el resto de conectores que siguen, necesita de dos proposiciones P y
Q para su utilizacin.
Su presencia se detecta por la aparicin de la partcula y, que expresa la circunstancia
de que ambas proposiciones se verifican a la vez.
Ejemplo: Llueve y hace fro. Es fcil observar que la conjuncin y denota que se
verifican las dos cosas al mismo tiempo.
El conector conjuncin se representa mediante el smbolo . De este modo la
proposicin llueve y hace fro puede representarse mediante: P Q, si se denomina P a la
proposicin llueve y Q a la proposicin hace fro.
Tabla de verdad. Para la comprensin de la tabla de verdad correspondiente al conector
proposicional P Q, basta tener en cuenta que la conjuncin de dos proposiciones P y Q ser
cierta nicamente cuando sean ciertas las dos proposiciones P y Q componentes. En todos los
dems casos, cuando una de ellas sea falsa, o ambas, la proposicin P Q ser falsa.
Conjuncin:
Tabla de verdad
P
P
V
V
V
F
F
V
F
F
PQ
V
F
F
F
Las dos primeras columnas de la tabla corresponden a todas las posibles combinaciones,
VV,VF, FV, FF, de verdad y falsedad, que pueden realizarse con las proposiciones P y Q.
Disyuncin no exclusiva P Q
Como en el caso anterior, la utilizacin de este conector precisa de dos proposiciones
elementales, que pueden denominarse P y Q de manera genrica.
Su presencia se detecta por la aparicin dentro de una proposicin de la partcula
gramatical o, que indica la circunstancia de que pueda verificarse una de las proposiciones,
P, o la otra, Q, o bien ambas proposiciones P y Q a un tiempo (ya que se trata de disyuncin
no exclusiva, y en consecuencia, una proposicin no excluye a la otra).
Ejemplo: Sea la proposicin: Mirar el paisaje o pintar un cuadro. En ella aparece el
conector proposicional disyuncin no exclusiva, ya que se presenta en el contexto la partcula
o y puede verificarse indistintamente una de las proposiciones componentes, o la otra, o
ambas a la vez.
Algunos cientficos utilizan determinados nombres latinos (non, vel, etc,...) cuando los conectores se
interpretan como funciones verificativas, reservando los smbolos ( , V, ,...) para el clculo lgico
sintctico.
PQ
V
V
V
F
Sea la proposicin exclusiva: "Nos vamos o nos quedamos" que puede representarse P P.
Como ambas cosas no pueden ser ciertas al mismo tiempo, la proposicin ser siempre verdadera.
Las frmulas con proposiciones que se reducen a V se llaman tautologas.
En el caso contrario, ejemplificado con la proposicin P P, en el que por el principio de no
contradiccin no pueden ser verdad ambos trminos a la vez, la tabla de verdad slo puede tomar
valores falsos: este tipo de frmulas se denominan absurdos o contradicciones lgicas.
Implicacin:
Tabla de verdad
P
Q
V
V
V
F
F
V
F
F
PQ
V
F
V
V
Por ltimo, la cuarta fila expresa el hecho de que siendo P y Q falsas, la proposicin P
Q es verdadera. Este hecho, inexplicable a primera vista, se aplica en el lenguaje ordinario
infinidad de veces. As, cuando decimos: si no apruebo este examen me retiro, usamos
tanto un antecedente como un consecuente falsos, ya que, en realidad, no pienso retirarme, y
sin embargo, la relacin de implicacin es verdadera.
Doble implicacin P Q
Aunque se estudia por separado, dada su importancia, como se dijo anteriormente, no se trata
de un conector proposicional, sino que este conector se forma, como su nombre indica, a
partir de dos conectores implicacin, pero de sentidos contrarios. Si se denomina P y Q a las
proposiciones entre las que se ha establecido el conector doble implicacin:
P Q PQQP, en donde significa doble implicacin y significa equivale a.
Su presencia en el contexto de una proposicin se reconoce por las partculas
gramaticales si y slo si, que pueden estar, como suceda para los otros conectores
proposicionales, implcitas en la proposicin, es decir, no aparecer de manera expresa.
Ejemplo: Se llenarn los pantanos, si y slo si llueve de forma continuada (Se
llenarn los pantanos si llueve de forma continuada).
Este conector proposicional ya hemos indicado que se representa mediante el smbolo
que significa doble implicacin, o sea implicacin en los dos sentidos.
As, la proposicin del ejemplo anterior se llenarn los pantanos, si y solo si llueve de forma
continuada.
Tabla de verdad. La tabla de verdad correspondiente a este conector proposicional se deduce
fcilmente de la tabla de verdad del conector implicacin y del conector conjuncin, ya que
PQ P Q Q P
Implicacin:
Tabla de verdad
P
Q
V
V
V
F
F
V
F
F
PQ
V
F
F
V
En efecto:
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
V
V
QP
V
V
F
V
PQQP
V
F
F
V
La doble implicacin equivale a establecer una condicin necesaria y suficiente para que sea
verdadera la proposicin. "Se tiene la conciencia tranquila si y slo si se vive en paz". De todos
modos debe tenerse en cuenta que una proposicin no tiene que ser verdadera para ser considerada
como tal: le basta cumplir las condiciones formales, aunque su contenido sea absurdo: "Las
mariposas tienen pelo si y slo si llueve los domingos" es una doble implicacin.
TERRITORIO
1. Cmo se representa la partcula "y"?
2. Qu implica el trmino disyuncin?
VERDAD, FALSEDAD
1. Cmo se representan los posibles valores de verdad?
2. Cmo se representa el valor de falsedad?
IMPLICACIN
1. Qu exige el conector de la implicacin?
2. Cmo es la doble implicacin?