lógica proposicional 4º
TRANSCRIPT
![Page 1: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/1.jpg)
LÓGICA PROPOSICIONA
L
![Page 2: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/2.jpg)
DEFINICIÓNEstudio de los métodos que aplican definiciones y leyes con el propósito de determinar la validez o invalidez del razonamiento.
![Page 3: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/3.jpg)
CONECTIVOS LÓGICOSPalabras o símbolos que enlazan proposiciones simples, sin formar parte de ellas, sean las proposiciones “p”, “q”, luego los más conocidos son:
![Page 4: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/4.jpg)
SÍMBOLO O CONECTOR
LÓGICOOPERACIÓN
LÓGICO ESQUEMA SIGNIFICADO
Negación p No p Conjunción p q p y q Disyunción p q p o q Condicional p q p entonces q
Bicondicional p q p si y sólo si q
![Page 5: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/5.jpg)
TABLAS DE VERDADCONJUNCIÓN DISYUNCIÓN CONDICIONAL
BICONDICIONAL
![Page 6: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/6.jpg)
TIPOS DE TABLAS DE VERDAD TAUTOLOGÍA
Cuando los valores del operador principal son todos verdaderos se dice que el esquema molecular es TAUTOLÓGICO.
![Page 7: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/7.jpg)
CONTRADICTORIOSi los valores del operador principal son todos falsos. Se dirá que el esquema molecular es CONTRADICTORIO.
CONTINGENCIASi los valores del operador principal tiene por lo menos una verdad y una falsedad se dice que es CONTINGENTE O CONSISTENTE.
![Page 8: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/8.jpg)
EJEMPLO Nº 01Determina el valor de verdad de:a) [(p r) r] pb) (p q) (p q)c) (p q) (p q)
![Page 9: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/9.jpg)
![Page 10: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/10.jpg)
PROBLEMA Nº 01Indica en cada caso si es
Tautológico, Contradictorio o Contingente.a)(p q) v rb)(r p) sc) (r s) (p t)d)(p s) r
![Page 11: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/11.jpg)
PROBLEMA Nº 02Indica en cada caso si es
Tautológico, Contradictorio o Contingente. (p q) ( p q) [(p q) q] q (p q) p [ ( p q) p] q
![Page 12: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/12.jpg)
![Page 13: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/13.jpg)
PROBLEMA Nº 01Indica en cada caso si es Tautológico,
Contradictorio o Contingente.
)()()()(
p)(qq) p(~
pqqprqqpqpq~p
![Page 14: Lógica proposicional 4º](https://reader035.vdocumento.com/reader035/viewer/2022062311/58ac4eed1a28ab99028b6621/html5/thumbnails/14.jpg)
PROBLEMA Nº 02Indica en cada caso si es
Tautológico, Contradictorio o Contingente. [(p q) r] s (r p) (r s) (~p q) (q p) [(p ~q) (q p) r] p