Forma lgica y anlisis de

proposiciones.

Estructuras proposicionales

Mari Carmen Roa

Escuela Nacional Preparatoria
Pl. 3 Justo Sierra

Forma lgica y anlisis de

proposiciones
Construccin
Anlisis
de
de
argumentos
argument
IDENTIFICAR ESTRUCTURAS
os
Consecuencias

Contradicciones

EVALUACIN

Equivalencias

Por su
composicin
ATMICAS
MOLECULAR
ES

Proposicin
atmica

Conectiva
lgica

Carece de conectiva
lgica mondica o
didica.
Proposiciones atmicas
con alguna conectiva o
varias.
permite calcular el
valor de verdad de
la proposicin
molecular.

Estructura general de las

proposiciones

Proposicin/Frmula
atmica

Concepto

Verbo

Concepto

Proposicin o Frmula
molecular
Conceptos
Verbos
Conectivos

Ejemplos de atmicas
Es verdad que todo lo que l dice es
dudoso.
Es cierto lo que dices.
La lgica y las matemticas se
relacionan.
Los polticos y los magos tienen algo en
comn.
La ciudad de Madrid, tan amada, es

Ejemplos de Moleculares
Es lo mismo decir que: el diputado ni
present bien su informe ni clarific sus
adeudos a decir que: no es el caso que
el diputado present bien su informe o
bien clarific sus adeudos es falso.
Si eres puntual, iremos juntos. Pero si
llegas tarde me ir sin ti e invitar a tu
amiga.
No es verdad que todo lo que l diga es
falso.

Ejemplos de Moleculares
Si eres puntual, iremos juntos. Pero si
llegas tarde me ir sin ti e invitar a tu
amiga.
Aunque va mal vestido, me da gusto
verlo
No es verdad que: cada vez que te vea
me lata el corazn y que cuando no te
vea, no me lata
Cuando me dejo llevar por la ira
termino siempre arrepintindome

Estructuras proposicionales
Conjuntivas:

a veces ponemos en conjuncin ciertos

enunciados, es decir los relacionamos de tal manera que
concebimos que ambos ocurren a la vez.

La atmsfera y la litosfera son capas de la Tierra.

Aunque va mal vestido, me da gusto verlo.
Algunos mamferos son pequeos y peludos
Laura tom tarde el autobs, pero lleg a tiempo

Estructuras proposicionales
Disyuntivas: enuncia las alternativas en las que se puede
encontrar determinadas situaciones, individuos o grupo de
individuos. Puede ser de dos tipos:

Inclusiva: es posible que ambas o una de las dos

situaciones.
Los alumnos del diplomado son brillantes o divertidos
Exclusiva: slo es posible que una de dos situaciones
se den pero no ambas.
Los alumnos del diplomado son aprueban o no aprueban.

Estructuras proposicionales
Condicionales:

La realizacin de lo que se enuncia depende

de que se cumpla determinada condicin. En breve: enuncia algo
condicionalmente. Constan de dos partes:

Si se cumplen las leyes, entonces hay legalidad

Antecedente o la condicin suficiente:
se cumplen las leyes
Consecuente o condicin necesaria:
hay legalidad.

Estructuras proposicionales
Bicondicionales:

muchas veces estamos interesados en

dejar claramente establecido que una cosa est tan
estrechamente vinculada a otra que slo ocurre una si ocurre la
otra y lo mismo a la inversa:

Es de noche si y slo si se ha puesto el Sol

Es buen estudiante siempre que obtenga 10
de promedio.
Es lo mismo decir que el tringulo es una
figura geomtrica de tres lados a decir que el
tringulo tiene tres ngulos.

Conectivas lgicas
Caractersticas:
Una conectiva lgica es un signo c de un lenguaje
formalizado interpretado y tiene los siguientes
rasgos tpicos:
c se usa con un significado unvoco preciso.
c funciona como una contrapartida formal de una
expresin del lenguaje cotidiano, pero slo en su
significado lgico y slo puede ser sinnima en algn
uso lenguaje cotidiano.

Conectivas lgicas
Caractersticas:
el significado de c est vinculado con la nocin de
condiciones de verdad: la interpretacin de c permite
determinar las condiciones de verdad de una
proposicin cuyo operador principal es c.
el valor de proposicin compuesta o molecular
depende de las proposiciones atmicas que la
componen y de la conectiva c.
hay reglas claras para la manipulacin de c.

Conectivas lgicas
Expresiones relacionadas

Negacin: No, No es el caso, No es verdad, Es

falso
Conjuncin: Y, adems, pero, tanto como,
tambin.
Disyuncin: O, o bien.
Condicional: Si entonces Cuando
entonces
Equivalencia: Si y solo si, es lo mismo que,
siempre y cuando, Significa lo mismo decir que
a decir

Conectivas lgicas
Smbolos ms utilizados
Negacin , ,
Conjuncin , ,
Disyuncin
inclusiva
Disyuncin
exclusiva

, ,

Condicional ,
Bicondicional o
Equivalencia

Ejercicios

Atmicas o moleculares?

1.

Todo lo que t dices es falso.

2.

Si eres puntual, iremos juntos.

3.

Los alumnos del diplomado aprueban o no aprueban.

4.

Es cierto que las matemticas son divertidas.

5.

Llueve.

6.

No es verdad que todo lo que l diga es falso

7.

No hace calor.

8.
9.

Cuando me dejo llevar por la ira, termino

arrepintindome.
La lgica y las matemticas se relacionan.

10. Juan y Pedro son hermanos.

11. Los polticos y los magos tienen algo en comn.
12. La suma de los ngulos de un tringulo equivale a 180

PARFRASIS DE MOLECULARES

No es verdad que todo lo que l diga es falso.

La negacin de una proposicin atmica.

Aunque va mal vestido, me da gusto verlo.

La conjuncin de dos proposiciones atmicas distintas.

Cuando me dejo llevar por la ira termino arrepintindome.

El condicional de dos proposiciones atmicas distintas.

Ejercicio parfrasis de proposiciones

moleculares

No es verdad que, todo lo que l diga sea

falso.
La negacin de una proposicin atmica.
Cuando me dejo llevar por la ira, termino
siempre arrepintindome.
El condicional formado por dos proposiciones
atmicas distintas.

Conectiva principal

Aunque va mal vestido, me da gusto verlo.

La conjuncin de dos proposiciones atmicas.
No es verdad que: cada vez que te vea me
lata el corazn y que cuando no me lata, no te
vea.
La negacin de la conjuncin de dos
proposiciones condicionales, una de ellas
formada por dos proposiciones atmicas y la otra
por proposiciones atmicas negadas.

Conectiva principal

(P R) (S R)
(T S) [R (Q P)]
[(P P) T] [(K I) (Q Q)]
[R (Q P)]

Lenguaje de lgica proposicional.

Vocabulario
V1) Variables proposicionales: P, Q, R, S, T
V2) Smbolos de conectivas: , , , ,
V3) Signos auxiliares (, ), [, ], {, }
Reglas de formacin
F1) Las variables son frmulas bien formadas (fbf)
F2) Si es una variable, entonces es una fbf
F3) Si y son variables, entonces ( ); ( );
(); ( ) son fbf
F4) Slo las secuencias formadas de acuerdo con
reglas F1; F2 y F3 son fbf y si no, no lo son.

Formalizacin de proposiciones
Si llegas tarde, me ir sin ti e invitar
a tu amiga
Llegas tarde: T
Me ir sin ti (no ir contigo)
Invitar a tu amiga
T

I A

PARFRASIS DE MOLECULARES
Es lo mismo decir que: el diputado ni present bien su
informe ni clarific sus adeudos, a decir que: no es el
caso que el diputado present bien su informe o bien
clarific sus adeudos es falso.
La equivalencia de la conjuncin de dos proposiciones
atmicas negadas, con la negacin de una disyuncin de
dos proposiciones atmicas.
Si eres puntual, iremos juntos. Pero si llegas tarde me
ir sin ti e invitar a tu amiga.
La conjuncin de un condicional formado por dos
proposiciones atmicas con otro condicional formado por
una proposicin atmica y una conjuncin.

 MOLECULARES
Es lo mismo decir que: el diputado ni present bien su informe
ni clarific sus adeudos a decir que: no es el caso que el
diputado present bien su informe o bien clarific sus adeudos.

Es lo mismo decir que a decir que:

Proposiciones involucradas:
el diputado present bien su informe
clarific sus adeudos

Conectiva principal:
EQUIVALENCIA

Otras conectivas:
Negacin
Conjuncin
Disyuncin