Informe Proposiciones
Informe Proposiciones
Informe Proposiciones
GRUPO: 1
ALUMNO:
2013
LGICA PROPORCIONAL:
PROPIEDADES LGICAS
Contra recproca
Definicin. A la proposicin no(q)
q.
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.
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)
q
No he ido de compras
__________________________________________________________
p
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
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
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
mueve
qr
Si la bola blanca golpea a la bola negra, la bola negra se
mueve
_______________________________________________________________
_______
pr
mueve
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
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
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
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