Logica Proposicional
Logica Proposicional
Logica Proposicional
Facultad De Ingeniería
Asignatura: Lógica I
Sección: BQM102CB
LOGICA PROPOSICIONAL
1
INDICE
Contenido
Facultad De Ingeniería .............................................................................................................1
INTRODUCCIÓN ...................................................................................................................3
1.- LOGICA PROPOSICIONAL .............................................................................................4
2.- LA PROPOSICIÓN ............................................................................................................4
3.- OPERADORES LÓGICOS ................................................................................................5
3.1.- Negación ......................................................................................................................5
3.2.- Conjunción o producto lógico: .....................................................................................6
4.1.- Tautología ....................................................................................................................7
4.2.- Contradicción ...............................................................................................................8
4.3.- Contingencia ................................................................................................................8
5.- LEYES LOGICAS..............................................................................................................8
CONCLUSION ......................................................................................................................11
BIBLIOGRAFIA ...................................................................................................................12
2
INTRODUCCIÓN
Los operadores y leyes lógicos nos permiten saber la metodología por las
cuales se pueden identificar las diferentes proposiciones que se plantean.
3
1.- LOGICA PROPOSICIONAL
2.- LA PROPOSICIÓN
Para que un enunciado que hacemos sea una proposición el único requisito
es que podamos definirla como verdadera o falsa.
4
Son proposiciones: son las tres de la tarde, la luz está encendida, La
Cibeles está en Madrid, 2+2=5, Caracas es la capital de Venezuela; en
todos estos casos lo que se dice es verdadero o falso.
Proposiciones complejas
Este conector lógico del que hablamos suele consistir en una palabra que las
relaciona (vincula) como “y”, “además de”, “entonces”, etc.
María es guapa.
María es lista.
Con ellas podremos formar una compleja que sería “María es guapa y lista”.
5
3.2.- Conjunción o producto lógico: Dadas dos proposiciones p, q , el producto
lógico es la proposición molecular p y q que se simboliza (p ∧ q).
6
3.6.- Condicional: Dadas dos proposiciones p, q , el condicional es la
proposición molecular si p entonces q que se simboliza (p → q).
7
valores de veracidad de sus proposiciones componentes.
Ejemplo p ∨ ¬p
Ejemplo p ∧ ¬p
Ejemplo p ∨ (p↓ q)
1. Involución:
¯¯¯¯¯¯p⇔p.p¯¯⇔p.
2. Conmutatividad:
p∨q⇔q∨pp∨q⇔q∨p y
p∧q⇔q∧p.p∧q⇔q∧p.
3. Asociatividad:
(p∨q)∨r⇔p∨(q∨r)(p∨q)∨r⇔p∨(q∨r) y
(p∧q)∧r⇔p∧(q∧r).(p∧q)∧r⇔p∧(q∧r).
4. Distribuitividad:
(p∨q)∧r⇔(p∧r)∨(q∧r)(p∨q)∧r⇔(p∧r)∨(q∧r) y
(p∧q)∨r⇔(p∨r)∧(q∨r).(p∧q)∨r⇔(p∨r)∧(q∨r).
8
5. Idempotencia:
(p∨p)⇔p(p∨p)⇔p y
(p∧p)⇔p.(p∧p)⇔p.
6. Identidad:
7. Complemento:
8. Leyes de De Morgan:
¯¯¯(p∨q)⇔¯¯¯p∧¯¯¯q(p∨q)¯⇔p¯∧q¯ y
¯¯¯(p∧q)⇔¯¯¯p∨¯¯¯q.(p∧q)¯⇔p¯∨q¯.
9. Absorción:
(p∨q)∧q⇔q(p∨q)∧q⇔q y
(p∧q)∨q⇔q.(p∧q)∨q⇔q.
9
(p⇔q)⇔(q⇔p).(p⇔q)⇔(q⇔p).
(p⇒q)⇔¯¯¯p∨q.(p⇒q)⇔p¯∨q.
(p⇔q)⇔[(p⇒q)∧(q⇒p)].(p⇔q)⇔[(p⇒q)∧(q⇒p)].
13. Contrarrecíproco:
(p⇒q)⇔(¯¯¯q⇒¯¯¯p).(p⇒q)⇔(q¯⇒p¯).
14. Transitividad:
[(p⇒q)∧(q⇒r)]⇒(p⇒r)[(p⇒q)∧(q⇒r)]⇒(p⇒r) y
[(p⇔q)∧(q⇔r)]⇒(p⇔r).
10
CONCLUSION
11
BIBLIOGRAFIA
https://www2.ulpgc.es/hege/almacen/download/46/46531/logica.pdf
https://www.sdelsol.com/glosario/logica-proposicional/
https://www.ecured.cu/Leyes_Lógicas
12