DOCENTE: MIGUEL ANGLE FALCON POLVIS

CURSO: COMPRENSIN LECTORA

TEMA: LGICA PROPOSICIONAL
CICLO: 2013 - 1
AULA : B

GRUPO: 1

ALUMNO:

AVILA ARANA CHRISTIAN

BENAUTE CAMPOS YORDY
JIMENEZ MENDIETA VICTOR
SUAREZ CHAVES CRHISTIAN

2013
LGICA PROPORCIONAL:

La lgica proposicional trata sobre la verdad o la falsedad de las

proposiciones y de cmo la verdad se transmite de unas
proposiciones (premisas) a otras (conclusin). Una proposicin es la
unidad mnima de significado susceptible de ser verdadera o falsa.

PROPIEDADES LGICAS

stas sern fundamentales para entender los mtodos de demostracin.

Unas definiciones
Definicin 1. Dos proposiciones p y q son equivalentes si siempre que p es
verdadera, tambin lo es q y viceversa.
Definicin 2. En la proposicin p q, a p se le llama antecedente y
a q consecuente, o tambin hiptesis y conclusin, respectivamente.
Definicin 3. A la proposicin q p, se le llama la recproca de p q.
Definicin 4. p q se lee: "p si y solo s q" y significa la conjuncin de p
q y q p.
Negaciones diversas
En la construccin de verdades matemticas, es muy importante que sepas
construir negaciones de proposiciones compuestas. Aqu, algunas de las ms
usuales:

Contra recproca
Definicin. A la proposicin no(q)
q.

no(p) se le llama la contra recproca de p

Un absurdo
Definicin. Un absurdo (o contradiccin) es la conjuncin de una
proposicin x cualquiera con su negacin.
Con un absurdo, se puede formular una equivalencia muy importante.

Cuando hay casos

Definicin. Si p = p1 o p2 o ... o pn, entonces se dice que p
implicacin por casos y adems:

q, es una

INFERENCIA LOGICA
Una inferencia lgica es un razonamiento expresado en una frase cuya ltima
parte se arma con base a lo que previamente se haya declarado.
Una inferencia es simplemente un razonamiento formal, en el sentido de que lo
importante es la forma de las premisas y la conclusin, y la relacin entre ellas,
ms no su contenido.
Algunos razonamientos vlidos, son leyes lgicas, y sirven tambin para
Calcular la validez de otros razonamientos. A dichos razonamientos se les
Llama:
1. Modus ponens
MODUS PONENDO PONENS (PP)
pq
Si llueve, entonces las calles se mojan
(premisa)
p
Llueve
(premisa)
__________________________________________________
q
(conclusin)

Luego, las calles se mojan

El condicional o implicacin es aquella operacin que establece

entre dos enunciados una relacin de causa-efecto. La regla ponendo
ponens significa, afirmando afirmo y en un condicional establece, que
si el antecedente (primer trmino, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo trmino, en este
caso q).
2. Modus tollens
MODUS TOLLENDO TOLLENS (TT)
Tollendo tollens significa negando, niego, y se refiere a una
propiedad inversa de los condicionales, a los que nos referamos en
primer lugar.
pq
Si llueve, entonces las calles se mojan
q
Las calles no se mojan
__________________________________________________
p
Luego, no llueve
Si de un condicional, aparece como premisa el consecuente
negado (el efecto), eso nos conduce a negar el antecedente (la causa),
puesto que si un efecto no se da, su causa no ha podido darse.

3. Modus tollendo ponens

MODUS TOLLENDO PONENS (TP)
La disyuncin, que se simboliza con el operador V, representa
una eleccin entre dos enunciados. Ahora bien, en esa eleccin, forma
parte de las posibilidades escoger ambos enunciados, es decir, la
verdad de ambos enunciados no es incompatible, si bien, ambos no
pueden ser falsos.
A partir de lo anterior, se deduce la siguiente regla, denominada
tollendo ponens (negando afirmo): si uno de los miembros de una
disyuncin es negado, el otro miembro queda automticamente
afirmado, ya que uno de los trminos de la eleccin ha sido descartado.
pVq

He ido al cine o me he ido de compras

q
No he ido de compras
__________________________________________________________
p

Por tanto, he ido al cine

4. Ley conjuntiva
Adjuncin (A): Si disponemos de dos enunciados afirmados
como dos premisas separadas, mediante la adjuncin, podemos unirlos
en una sola premisa utilizando el operador (conjuncin).
p

Juan es cocinero

Pedro es polica
___________________________________

p q Juan es cocinero y Pedro es polica

5. Ley simplicativa
Simplificacin (S): obviamente, es la operacin inversa. Si disponemos
de un enunciado formado por dos miembros unidos por una conjuncin,
podemos hacer de los dos miembros dos enunciados afirmados por
separado.
p q

Tengo una manzana y tengo una pera

____________________________________________
p

Tengo una manzana

Tengo una pera

6. Ley aditiva
LEY DE LA ADICIN (LA)
Dado un enunciado cualquiera, es posible expresarlo como una
eleccin (disyuncin) acompaado por cualquier otro enunciado.
a
He comprado manzanas
__________________________________________________________
____
aVb

He comprado manzanas o he comprado

peras
7. Silogismo condiciona
SILOGISMO HIPOTTICO (SH)
Dados dos implicaciones, de las cuales, el antecedente de la una sea el
consecuente de la otra (el mismo enunciado), podemos construir una nueva
implicacin cuyo antecedente sea el de aquella implicacin cuya consecuencia
sea el antecedente de la otra implicacin, y cuyo consecuente sea el de sta
ltima, cuyo antecedente era consecuencia del primero.
Expresado de otro modo, si una causa se sigue una consecuencia, y
sta consecuencia es a su vez causa de una segunda consecuencia, se puede
decir que esa primera causa es causa de esa segunda consecuencia, del
mismo modo que, si una bola de billar roja golpea a otra bola blanca que a su
vez golpea a una bola negra, la bola roja es causa del movimiento de la bola
negra. Expresado en forma de inferencia lgica:
pq

Si la bola roja golpea a la bola blanca, la bola blanca se

mueve
qr
Si la bola blanca golpea a la bola negra, la bola negra se
mueve
_______________________________________________________________
_______
pr
mueve

Si la bola roja golpea a la bola blanca, la bola negra se

DEDUCCION LOGICA:
En lgica, una deduccin es un argumento donde
la conclusin se infiere necesariamente de las premisas. En su definicin
formal, una deduccin es una secuencia finita de frmulas, de las cuales la
ltima es designada como la conclusin (la conclusin de la deduccin), y
todas las frmulas en la secuencia son, o bien axiomas, o bien premisas, o bien
inferencias directas a partir de frmulas previas en la secuencia por medio
de reglas de inferencia.
Por ejemplo, la siguiente es una deduccin de la frmula
sistema de la lgica proposicional:

en el

Q es la incgnita que es la respuesta y p es la pregunta. Una pregunta puede

tener varias respuestas por lo cual puede tener varias incgnitas esto quiere
decir que (P = Q * X) esto se deduce a partir de la lgica.

La deduccin directa
Un argumento es un conjunto de enunciados o proposiciones entre los cuales
una proposicin final, llamada conclusin, se sigue de las otras proposiciones o
premisas. Pues bien, llamamos deduccin a un modo de argumentar tal que el
paso de las premisas a la conclusin es necesario.
La deduccin formal o lgica consiste en que a partir de unas premisas,
representadas con smbolos, y a travs de unas reglas, obtenemos una
conclusin (deducimos la conclusin).
Los smbolos en la lgica de enunciados pueden ser:
Los conectores o juntores: , &, V, ->, <->
Letras enunciativas: p, q, r...etc, que representan los enunciados de la
argumentacin.
Smbolos auxiliares: ( ), I- (este ltimo signo se utiliza para indicar
formalmente la conclusin):
Ejemplo: "si graniza (g) o nieva (n) entonces, uso paraguas (p) o no salgo
de casa (s) . Se da el caso de que graniza (g) . Por lo tanto, no salgo de
casa (s) ".
La formalizacin de este argumento es la siguiente:
( g V n ) -> ( p V s ) , g I- s

Ahora bien; la deduccin puede ser directa e indirecta.

r
Ejemplo:
Si vienes pronto, podremos ir al cine. Has venido pronto. Conlusin:
vamos al cine.
- 1 p -> ( q -> r )
-Formalicmoslo:
2 p -> q
p -> c, p I- c
-3p
4 q ->bien
r MP
Ahora
Cmo se lleva a cabo la deduccin formal o derivacin?
1,3
q MP paso
2,3 consiste en escribir las premisas iniciales con las que contamos,
El5 primer
6
r
MP
4,5 y anteponiendo a la numeracin un guin horizontal.
numerndolas
En el segundo paso, aplicando sobre las premisas las reglas de derivacin que
luego veremos, numeramos las derivaciones que se extraigan de ellas, pero en
este caso no le antecedemos a los nmeros que le correspondan ningn guin.
El ltimo nmero corresponde con la obtencin de la conclusin deseada.
Vemoslo:
Tomando como ejemplo la formulacin anterior, tendremos que derivar c (la
conclusin), de las premisas p -> c y c
-1 p -> c
-2 p
3 c MP 1,2
Las letras que siguen a la lnea de derivacin tres se corresponden con las
iniciales de la regla de clculo utilizada, en este caso, el Modus Ponens: dada
una implicacin cualquiera, si se da el antecedente, entonces necesariamente
podemos inferir el consecuente (esto se ver en el prximo captulo). La
numeracin que sigue al nombre de la regla se refiere a las lneas sobre las
que se ha aplicado dicha regla .
Por deduccin directa entendemos aquella en la cual, a travs de las
premisas, obtenemos la conclusin de un modo directo:
Derivemos la siguiente frmula utilizando el Modus Ponens: p -> ( q -> r ), p ->
q, p ILa deduccin indirecta o reduccin al absurdo ( reductio ad absurdum)
En este tipo de deduccin obtenemos la conclusin de modo indirecto,
negando la misma conclusin hasta llegar a una contradiccin.
Los pasos de la reduccin al absurdo son los siguientes:
1. Suponemos hipotticamente la falsedad de la conclusin: p
2. Esta suposicin nos conduce a una contradiccin: ( q & q )
3. Negamos, por lo tanto, la falsedad de la suposicin: ( p )
4. Afirmamos la conclusin deseada: p

APLICACION DE LA LOGICA:
De acuerdo a lo que define Wolfram Alpha, la lgica proposicional es una rama
de la lgica de smbolos que trata a las proposiciones como unidades, y con
sus
combinaciones
y
las
conectivas
que
los
relacionan.
En palabras ms simples, la lgica proposicional trata directamente con las
proposiciones y sus diferentes combinaciones asi mismo las diversas
conexiones
que
pueden
formarse
entre
ellas.
El lenguaje utilizado en la lgica proposicional se basa en diferentes simbolos:
A: Tengo hambre
B: Estoy comiendo pizza
Simbolo Significado

no
y
o
si...
entonces...

Ejemplo
uso
A
AB
AB
AB

...si y solo si... BA

de

Significado de ejemplo
No tengo hambre
Tengo hambre y estoy comiendo pizza
Tengo hambre o Estoy comiendo pizza
Si tengo hambre entonces estoy
comiendo pizza
Estoy comiendo pizza si y solo si tengo
hambre

Como se puede apreciar y comprobando la definicin, las proposiciones se

conectan entre s a travs de conectivos lgicos, adems de que las
preposiciones como unidad solo pueden representar los valores de Verdadero
o Falso.
La lgica sirve para algo?
Esto es contestado por Leibniz de la siguiente manera:
Yo sostengo que la lgica es uno de los inventos ms bellos del espritu
humano. Es como una especie de lenguaje universal, inteligible para todo el
mundo. Por eso, cuando los hombres han de tomar, solos o en grupo,
decisiones importantes, le servira de gran utilidad el uso de la
lgica para evitar dejarse llevar por embaucadores y vendedores de baratijas.