SlideShare una empresa de Scribd logo
LOGICA MATEMATICA
Ingeniería de Sistemas
Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105
Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689
Email: itputumayo@itp.edu.co
www.itp.edu.co
CAPITULO IV LEYES DE LA LÓGICA
Las Tres Leyes de la Lógica
La lógica es el eje del pensamiento crítico y es extremadamente útil para sacar a la luz el error y establecer la
verdad. Hay principios en la lógica y nos gustaría presentarle a Usted las primeras tres leyes de la lógica las
cuales son muy importantes:
1.- La Ley de la Identidad.
2.- La Ley de la No Contradicción.
3.- La Ley del Tercero Excluido.
1) La ley de la identidad establece que A es A. En otras palabras, algo es lo que es. Una manzana es una
manzana. Si algo existe tiene una naturaleza, una esencia. Por ejemplo, un libro tiene una portada y una
contraportada con páginas en su interior. Un automóvil tiene cuatro ruedas, asientos, puertas, vidrios, etc. Un
árbol tiene ramas, hojas, un tronco y raíces. Esto también significa que cualquier cosa que exista tiene
características. Reconocemos lo que algo es al observar sus características. Usted sabe que un árbol es un
árbol debido a que ve sus ramas, sus hojas, su tronco, etc.
Aún más, si algo tiene una identidad, no puede tener otra, ya que ésta es única e individual. En otras palabras:
Si algo existe cuenta con una serie de atributos que son consistentes consigo mismo. Este algo, no tiene un
conjunto de atributos que sean inconsistentes consigo mismo. Por lo tanto, podemos fácilmente concluir, que
un gato no es un paracaídas. Una manzana no es un automóvil de carreras y un árbol no es una película.
2) La ley de la no contradicción nos dice que A no puede ser tanto A y ninguna A al mismo tiempo y en el
mismo sentido. En otras palabras: algo, como una declaración no puede ser al mismo tiempo tanto verdadero
como falso y del mismo modo. Con frecuencia usamos la ley de la no contradicción en discusiones y debates
ya que somos capaces de reconocer cuando algo es contrario a sí mismo. Si le dijéramos a Usted que ayer
alguien fue de compras y más tarde le dijéramos que ese alguien no fue de compras, Usted nos corregiría
diciéndonos que existe una contradicción. Una contradicción ocurre cuando una declaración excluye la
posibilidad de otra y aun ambas afirman ser verdaderas. Ya que sabemos que ambas no pueden ser verdad,
vemos entonces, una contradicción.
Basados en este principio, podemos concluir, que la verdad no se contradice a sí misma. Este es un concepto
muy importante. Vamos a repetirlo: "La verdad no se contradice a sí misma."
3) La ley del tercero excluido dice que una declaración es verdadera o falsa. Por ejemplo: "El cabello de esa
mujer es castaño." Es verdadero o falso que el cabello de esa mujer es castaño. Otro ejemplo: La declaración
"Estoy embarazado", es verdadera o falsa. Debido a quien escribe esta Lección es un hombre, no es posible
que esté embarazado. Por lo tanto, la declaración es falsa. Si fuera una mujer, sería posible que estuviera
embarazada dadas las condiciones normales del cuerpo de la mujer. Cuando una mujer se encuentra
embarazada, no existe una posición intermedia: Está, o no está embarazada.
La ley del tercero excluido es importante ya que nos ayuda a tratar con absolutos y esto es particularmente
importante en una sociedad donde el relativismo es promovido y las declaraciones verdaderas son negadas.
En conclusión podremos decir que:
a) La ley de la identidad establece que A es A; que si algo existe tiene una naturaleza, una naturaleza
individual. Es lo que es.
LOGICA MATEMATICA
Ingeniería de Sistemas
Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105
Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689
Email: itputumayo@itp.edu.co
www.itp.edu.co
b) La ley de la no contradicción nos dice que A no puede ser tanto A y ninguna A al mismotiempo y en el mismo
sentido. La verdad no es contradictoria en sí misma.
c) La ley del tercero excluido dice que una declaración es verdadera o falsa., no hay una tercera opción.
4) El principio de razón suficiente nos dice que "todo objeto debe tener una razón suficiente que lo
explique". Lo que es, es por alguna razón, "nada existe sin una causa o razón determinante". El principio de
razón suficiente nos da respuesta a una exigencia natural de nuestra razón, según la cual nada puede ser nada
más "porque sí", pues todo obedece a una razón.
Pongamos algunos ejemplos que ilustran este principio lógico supremo:
El cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos por alguna razón, y esa razón
se nos da cuando hacemos la demostración del teorema [de Pitágoras].
Los planetas se mueven en órbitas elípticas por alguna razón, y esa razón aparece cuando acudimos a la ley
de la Gravitación Universal.
La Revolución mexicana se produjo por alguna razón, y esa razón surge cuando estudiamos sus antecedentes
y consecuencias.
5) El principio de causalidad, es el principio que muestra la relación entre la causa y el efecto. Señala que
todo lo que actúa o cambia tiene una razón o causa por la que actúa o cambia de esa manera. La causalidad
es la relación entre un evento (la causa) y un segundo evento (el efecto), donde el segundo caso se entiende
como consecuencia del primero.
Gracias a él, encuentran solución a problemas muy importantes, tales como: la existencia de Dios, el
conocimiento de la naturaleza de las cosas, la determinación de las leyes naturales.
Formulaciones del principio de causalidad. Suele enunciarse con las siguientes fórmulas:
a) "Todo efecto tiene una causa"; o: "No existe efecto sin causa".
b) "Todo cuanto se hace, tiene causa"; o: "Nada se hace sin causa".
c) “Todo cuanto comienza a existir, debe tener una causa eficiente".
d) "Todo cuanto existe de manera contingente, tiene causa eficiente".
LEYES DE LA LOGICA
LEY PROPOSICION EQUIVALENTE
Identidiad p p
Doble negación: p ¬¬p
Tercio excluso p∨¬p
Contradicción ¬(p∧¬p)
Morgan ¬(p∧q)
¬(p∨q)
(¬p∨¬q)
(¬p∧¬q)
Reducción al absurdo (¬p→(q∧¬q)) p
LOGICA MATEMATICA
Ingeniería de Sistemas
Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105
Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689
Email: itputumayo@itp.edu.co
www.itp.edu.co
Conmutación (p∨q)
(p∧q)
(p↔q)
(q∨p)
(q∧p)
(q↔p)
Asociación ((p∨q)∨r)
((p∧q)∧r)
((p↔q)↔r)
(p∨(q∨r))
(p∧(q∧r))
(p↔(q↔r))
Transposición (p→q)
(p↔q)
(¬q→¬p)
(¬q↔¬p)
Distributiva (p∧(q∨r))
(p∨(q∧r))
(p→(q∧r))
(p→(q∨r))
((p∧q)∨(p∧r))
((p∨q)∧(p∨r))
((p→q)∧(p→r))
((p→q)∨(p→r))
Permutación (p→(q→r)) (q→(p→r))
Silogismo (p→q)→((q→r)→(p→r))
Silogismo hipotético o
transitividad
((p→q)∧(q→r))→(p→r)
((p↔q)∧(q↔r))→(p↔r)
Inferencia de la
alternativa o de los
silogismos disyuntivos
[¬p∧(p∨q)]→q
[p∧(¬p∨¬q)]→¬q
Dilema constructivo [(p→q)∧(r→s)∧(p∨r)]→(q∨s)
Dilema destructivo [(¬p∨¬q)∧(r→p)∧(s→p)]→(¬r∨¬s)
Exportación [(p∧q)→r]↔[(p→(q∨r)]
Resolución: [(¬p∨q)∧(p∨r)]→(q∨r)
Bicondicional (p↔q) [(p→q)∧(q→p)]
Condicional-
disyuncion
(p→q) (¬p∨q)
Condicional-
conjunción
(p→q) ¬(p∧¬q)
Simplificación (p∧q)→p
p→(p∨q)
Expansión (p→q)↔[p↔(p∧q)] (p→q)↔[q↔(p∨q)]
Modus ponendo
ponens
[(p→q)∧p]→q
Modus tollendo tollens [(p→q)∧¬q]→¬p
TAUTOLOGÍA: Cuando una proposición compuesta es verdadera para todos los valores de verdad.
• CONTRADICCIÓN: Cuando una proposición compuesta es falsa para todos los valores de verdad.
• CONTINGENCIA: Proposición que puede ser falsa o verdadera dependiendo de los valores de verdad.
Ejemplos
LOGICA MATEMATICA
Ingeniería de Sistemas
Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105
Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689
Email: itputumayo@itp.edu.co
www.itp.edu.co
Ejercicio
Determine, utilizando tablas de verdad, si cada proposición compuesta es tautología, contradicción o
contingencia:
(a) -(P  Q)  (P ^ - Q)
(b) (P V Q)  [Q  (P ^ Q)]
(c) [-(-P ^ R) V Q]  [(-P V R) ^ Q]
Falacias lógicas
¿Que es una falacia lógica?
Una falacia lógica es una proposición presentada como verdadera en una afirmación, pero que solo lo es
aparentemente.
Las falacias lógicas son utilizadas comúnmente para justificar argumentos o posturas que no son justificables
utilizando la razón. Suelen enmascarar engaños, falsedades, o estafas. Saber reconocer las falacias lógicas es de gran
ayuda para no ser engañado.
Todas las falacias son razonamiento que vulneran alguna regla lógica
Las personas educadas no gritan
Jorge no grita
LOGICA MATEMATICA
Ingeniería de Sistemas
Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105
Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689
Email: itputumayo@itp.edu.co
www.itp.edu.co
Jorge es una persona educada
Convincente, ¿verdad? Usemos el mismo razonamiento en otro contexto:
Eres un criminal si cortas a personas
Los cirujanos cortan personas
Los cirujanos son criminales
La conclusión no tiene porqué ser falsa, pero el razonamiento es incorrecto, por lo que si es cierta, es
casualidad. Ambas son la misma falacia lógica: si X=Y, y Z=Y, entonces X=Z.
Las falacias lógicas tratan de justificar ideas que usando la razón son injustificables. Son explotadas a menudo
por políticos y medios de comunicación para engañar a la gente. Puede que en algún momento incluso tú,
inconscientemente, las hayas utilizado.
Ejemplos
"Los ecologistas dicen que consumimos demasiado energía; pero no hagas caso porque los
ecologistas siempre exageran".
"No vengas a trabajar a la tienda con éste piercing; recuerda que quién paga, manda".
"Según el alcalde, lo mejor para la salud de los ciudadanos es asfaltar todas las plazas de la ciudad"
"Tenemos que prohibir que venga gente de fuera. ¿Qué harán nuestros hijos si los extranjeros los roban el trabajo y el
pan?"
"Nadie puede probar que no haya una influencia de los astros en nuestra vida; por lo tanto, las predicciones de la
astrología son verdaderas"
Extraído del libro: PIÑERO, Albert. "Logomàquines" Barcelona: RAPE, 1999
LOGICA MATEMATICA
Ingeniería de Sistemas
Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105
Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689
Email: itputumayo@itp.edu.co
www.itp.edu.co
"El cáncer de pulmón se presenta (frecuentemente) en personas que fuman cigarrillos; por lo tanto, fumar cigarrillos es la
causa de este cáncer"
Recursos
Tautologias, contradicciones y contingencias
https://www.youtube.com/watch?v=myOBOoWfQSU
https://www.youtube.com/watch?v=lnLoBDJag8E

Más contenido relacionado

La actualidad más candente

OBJETO DE LA LÓGICA FORMAL
OBJETO DE LA LÓGICA FORMALOBJETO DE LA LÓGICA FORMAL
OBJETO DE LA LÓGICA FORMAL
ceciliajaramillojaramillo
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
elisa pizano
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
Jomar Burgos Palacios
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
Israel Condori Rocha
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
Pacheco Huarotto, Luis
 
La evolución, los 3 estados....
La evolución, los 3 estados....La evolución, los 3 estados....
La evolución, los 3 estados....
Universidad Nacional Autónoma de Honduras
 
Leyes del pensamiento
Leyes del pensamientoLeyes del pensamiento
Leyes del pensamiento
Horacio Rene Armas
 
Las proposiciones y sus características
Las proposiciones y sus característicasLas proposiciones y sus características
Las proposiciones y sus características
Marlene Guerrero
 
Montesquieu
MontesquieuMontesquieu
Montesquieu
maleal12
 
El juicio y sus elementos
El juicio y sus elementosEl juicio y sus elementos
El juicio y sus elementos
Paola Chipin
 
Principios del tercero excluido
Principios del tercero excluido Principios del tercero excluido
Principios del tercero excluido
Lilia G. Torres Fernández
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
GABRIEL PACHECO BARRETO
 
Resumen del Contrato Social
Resumen del Contrato Social Resumen del Contrato Social
Resumen del Contrato Social
Alexr07
 
Cuadro comparativo de mito, filosofía, ciencia y religión.
Cuadro comparativo de mito, filosofía, ciencia y religión.Cuadro comparativo de mito, filosofía, ciencia y religión.
Cuadro comparativo de mito, filosofía, ciencia y religión.
pizano5
 
LÓGICA FORMAL Y DIALÉCTICA
LÓGICA FORMAL Y DIALÉCTICALÓGICA FORMAL Y DIALÉCTICA
LÓGICA FORMAL Y DIALÉCTICA
Claudia_OM
 
Silogismos modo y figura
Silogismos modo y figuraSilogismos modo y figura
Silogismos modo y figura
Jose Manue Gomez
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
profesoredgard
 
CORRIENTES EPISTEMOLÓGICAS
CORRIENTES EPISTEMOLÓGICASCORRIENTES EPISTEMOLÓGICAS
CORRIENTES EPISTEMOLÓGICAS
MCarorivero
 
Introduccion a la logica de proposiciones ccesa007
Introduccion a la logica de  proposiciones ccesa007Introduccion a la logica de  proposiciones ccesa007
Introduccion a la logica de proposiciones ccesa007
Demetrio Ccesa Rayme
 
Logica
LogicaLogica

La actualidad más candente (20)

OBJETO DE LA LÓGICA FORMAL
OBJETO DE LA LÓGICA FORMALOBJETO DE LA LÓGICA FORMAL
OBJETO DE LA LÓGICA FORMAL
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
La evolución, los 3 estados....
La evolución, los 3 estados....La evolución, los 3 estados....
La evolución, los 3 estados....
 
Leyes del pensamiento
Leyes del pensamientoLeyes del pensamiento
Leyes del pensamiento
 
Las proposiciones y sus características
Las proposiciones y sus característicasLas proposiciones y sus características
Las proposiciones y sus características
 
Montesquieu
MontesquieuMontesquieu
Montesquieu
 
El juicio y sus elementos
El juicio y sus elementosEl juicio y sus elementos
El juicio y sus elementos
 
Principios del tercero excluido
Principios del tercero excluido Principios del tercero excluido
Principios del tercero excluido
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Resumen del Contrato Social
Resumen del Contrato Social Resumen del Contrato Social
Resumen del Contrato Social
 
Cuadro comparativo de mito, filosofía, ciencia y religión.
Cuadro comparativo de mito, filosofía, ciencia y religión.Cuadro comparativo de mito, filosofía, ciencia y religión.
Cuadro comparativo de mito, filosofía, ciencia y religión.
 
LÓGICA FORMAL Y DIALÉCTICA
LÓGICA FORMAL Y DIALÉCTICALÓGICA FORMAL Y DIALÉCTICA
LÓGICA FORMAL Y DIALÉCTICA
 
Silogismos modo y figura
Silogismos modo y figuraSilogismos modo y figura
Silogismos modo y figura
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
CORRIENTES EPISTEMOLÓGICAS
CORRIENTES EPISTEMOLÓGICASCORRIENTES EPISTEMOLÓGICAS
CORRIENTES EPISTEMOLÓGICAS
 
Introduccion a la logica de proposiciones ccesa007
Introduccion a la logica de  proposiciones ccesa007Introduccion a la logica de  proposiciones ccesa007
Introduccion a la logica de proposiciones ccesa007
 
Logica
LogicaLogica
Logica
 

Similar a Leyes de la lógica

Las tres leyes de la lógica
Las tres leyes de la lógicaLas tres leyes de la lógica
Las tres leyes de la lógica
Cristobal Bone
 
Ejercicios de traducción proposicional
Ejercicios de traducción   proposicionalEjercicios de traducción   proposicional
Ejercicios de traducción proposicional
Alfonso Cabanzo
 
Conocimiento y analisis critico
Conocimiento y analisis criticoConocimiento y analisis critico
Conocimiento y analisis critico
fisicayquimica-com-es
 
Filosofia
FilosofiaFilosofia
Filosofia
GUIDOCLIFER
 
Creencias y razon
Creencias y razonCreencias y razon
Creencias y razon
Nombre Apellidos
 
juicio clasificacion y elementos...
juicio clasificacion y elementos...juicio clasificacion y elementos...
juicio clasificacion y elementos...
chonizzrs
 
Pensamiento LóGico Y AnalóGico
Pensamiento LóGico Y AnalóGicoPensamiento LóGico Y AnalóGico
Pensamiento LóGico Y AnalóGico
Claudia Barbarella Contreras de la Parra
 
Textos Arbitrados
Textos ArbitradosTextos Arbitrados
Textos Arbitrados
yavelin
 
Textos Arbitrados UNIDAD II
Textos Arbitrados UNIDAD IITextos Arbitrados UNIDAD II
Textos Arbitrados UNIDAD II
Anita Gûerita
 
Textos Arbitrados UNIDAD II
Textos Arbitrados UNIDAD IITextos Arbitrados UNIDAD II
Textos Arbitrados UNIDAD II
Anita Gûerita
 
Falacias
FalaciasFalacias
Falacias
Edith GC
 
Pensamientolgicoyanalgico 091025140343-phpapp02
Pensamientolgicoyanalgico 091025140343-phpapp02Pensamientolgicoyanalgico 091025140343-phpapp02
Pensamientolgicoyanalgico 091025140343-phpapp02
Alexander Moreno Quiroga
 
Tema-03.Dios-existe.pdf
Tema-03.Dios-existe.pdfTema-03.Dios-existe.pdf
Tema-03.Dios-existe.pdf
AstrikReyes
 
Verdad, ciencia y fe
Verdad, ciencia y feVerdad, ciencia y fe
Verdad, ciencia y fe
geovaalvarado0
 
Guia de matematicas
Guia de matematicasGuia de matematicas
Guia de matematicas
DianyMildredPeaGavir
 
Los contrafácticos y las ciencias sociales
Los contrafácticos y las ciencias socialesLos contrafácticos y las ciencias sociales
Los contrafácticos y las ciencias sociales
Miguel Giraldo
 
Los contrafácticos y las ciencias sociales
Los contrafácticos y las ciencias socialesLos contrafácticos y las ciencias sociales
Los contrafácticos y las ciencias sociales
Miguel Giraldo
 
Carreira, Manuel - Verdad Ciencia Y Fe.pdf
Carreira, Manuel - Verdad Ciencia Y Fe.pdfCarreira, Manuel - Verdad Ciencia Y Fe.pdf
Carreira, Manuel - Verdad Ciencia Y Fe.pdf
Juan723825
 
Que es la propiedad - Proudhon
Que es la propiedad - ProudhonQue es la propiedad - Proudhon
Que es la propiedad - Proudhon
Daniel Diaz
 
Los fundamentos de la geopolítica
Los fundamentos de la geopolíticaLos fundamentos de la geopolítica
Los fundamentos de la geopolítica
IUGNA
 

Similar a Leyes de la lógica (20)

Las tres leyes de la lógica
Las tres leyes de la lógicaLas tres leyes de la lógica
Las tres leyes de la lógica
 
Ejercicios de traducción proposicional
Ejercicios de traducción   proposicionalEjercicios de traducción   proposicional
Ejercicios de traducción proposicional
 
Conocimiento y analisis critico
Conocimiento y analisis criticoConocimiento y analisis critico
Conocimiento y analisis critico
 
Filosofia
FilosofiaFilosofia
Filosofia
 
Creencias y razon
Creencias y razonCreencias y razon
Creencias y razon
 
juicio clasificacion y elementos...
juicio clasificacion y elementos...juicio clasificacion y elementos...
juicio clasificacion y elementos...
 
Pensamiento LóGico Y AnalóGico
Pensamiento LóGico Y AnalóGicoPensamiento LóGico Y AnalóGico
Pensamiento LóGico Y AnalóGico
 
Textos Arbitrados
Textos ArbitradosTextos Arbitrados
Textos Arbitrados
 
Textos Arbitrados UNIDAD II
Textos Arbitrados UNIDAD IITextos Arbitrados UNIDAD II
Textos Arbitrados UNIDAD II
 
Textos Arbitrados UNIDAD II
Textos Arbitrados UNIDAD IITextos Arbitrados UNIDAD II
Textos Arbitrados UNIDAD II
 
Falacias
FalaciasFalacias
Falacias
 
Pensamientolgicoyanalgico 091025140343-phpapp02
Pensamientolgicoyanalgico 091025140343-phpapp02Pensamientolgicoyanalgico 091025140343-phpapp02
Pensamientolgicoyanalgico 091025140343-phpapp02
 
Tema-03.Dios-existe.pdf
Tema-03.Dios-existe.pdfTema-03.Dios-existe.pdf
Tema-03.Dios-existe.pdf
 
Verdad, ciencia y fe
Verdad, ciencia y feVerdad, ciencia y fe
Verdad, ciencia y fe
 
Guia de matematicas
Guia de matematicasGuia de matematicas
Guia de matematicas
 
Los contrafácticos y las ciencias sociales
Los contrafácticos y las ciencias socialesLos contrafácticos y las ciencias sociales
Los contrafácticos y las ciencias sociales
 
Los contrafácticos y las ciencias sociales
Los contrafácticos y las ciencias socialesLos contrafácticos y las ciencias sociales
Los contrafácticos y las ciencias sociales
 
Carreira, Manuel - Verdad Ciencia Y Fe.pdf
Carreira, Manuel - Verdad Ciencia Y Fe.pdfCarreira, Manuel - Verdad Ciencia Y Fe.pdf
Carreira, Manuel - Verdad Ciencia Y Fe.pdf
 
Que es la propiedad - Proudhon
Que es la propiedad - ProudhonQue es la propiedad - Proudhon
Que es la propiedad - Proudhon
 
Los fundamentos de la geopolítica
Los fundamentos de la geopolíticaLos fundamentos de la geopolítica
Los fundamentos de la geopolítica
 

Más de Ciuad de Asis

Evaluacion dia de la familia
Evaluacion dia de la familiaEvaluacion dia de la familia
Evaluacion dia de la familia
Ciuad de Asis
 
Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2
Ciuad de Asis
 
Uniforme IECA
Uniforme IECAUniforme IECA
Uniforme IECA
Ciuad de Asis
 
Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017
Ciuad de Asis
 
Rendicion de cuentas año 2016
Rendicion de cuentas año 2016Rendicion de cuentas año 2016
Rendicion de cuentas año 2016
Ciuad de Asis
 
Lista de participantes
Lista de participantesLista de participantes
Lista de participantes
Ciuad de Asis
 
Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016
Ciuad de Asis
 
Algebrabooleana
AlgebrabooleanaAlgebrabooleana
Algebrabooleana
Ciuad de Asis
 
Circuitos logicos
Circuitos logicosCircuitos logicos
Circuitos logicos
Ciuad de Asis
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
Ciuad de Asis
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
Ciuad de Asis
 
Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1
Ciuad de Asis
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
Ciuad de Asis
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
Ciuad de Asis
 
Propositos de la logica
Propositos de la logicaPropositos de la logica
Propositos de la logica
Ciuad de Asis
 
Tipos de logica
Tipos de logicaTipos de logica
Tipos de logica
Ciuad de Asis
 
Las tic
Las ticLas tic
Las tic
Ciuad de Asis
 
6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar pai6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar pai
Ciuad de Asis
 
5. ejemplo dba
5. ejemplo dba5. ejemplo dba
5. ejemplo dba
Ciuad de Asis
 
4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidad4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidad
Ciuad de Asis
 

Más de Ciuad de Asis (20)

Evaluacion dia de la familia
Evaluacion dia de la familiaEvaluacion dia de la familia
Evaluacion dia de la familia
 
Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2
 
Uniforme IECA
Uniforme IECAUniforme IECA
Uniforme IECA
 
Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017
 
Rendicion de cuentas año 2016
Rendicion de cuentas año 2016Rendicion de cuentas año 2016
Rendicion de cuentas año 2016
 
Lista de participantes
Lista de participantesLista de participantes
Lista de participantes
 
Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016
 
Algebrabooleana
AlgebrabooleanaAlgebrabooleana
Algebrabooleana
 
Circuitos logicos
Circuitos logicosCircuitos logicos
Circuitos logicos
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
 
Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Propositos de la logica
Propositos de la logicaPropositos de la logica
Propositos de la logica
 
Tipos de logica
Tipos de logicaTipos de logica
Tipos de logica
 
Las tic
Las ticLas tic
Las tic
 
6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar pai6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar pai
 
5. ejemplo dba
5. ejemplo dba5. ejemplo dba
5. ejemplo dba
 
4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidad4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidad
 

Último

CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZACORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
Sandra Mariela Ballón Aguedo
 
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdfFEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
Jose Luis Jimenez Rodriguez
 
Manual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HCManual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HC
josseanlo1581
 
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
20minutos
 
pueblos originarios de chile presentacion twinkl.pptx
pueblos originarios de chile presentacion twinkl.pptxpueblos originarios de chile presentacion twinkl.pptx
pueblos originarios de chile presentacion twinkl.pptx
RAMIREZNICOLE
 
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdfDosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
KarenRuano6
 
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
JAVIER SOLIS NOYOLA
 
Camus, Albert - El Extranjero.pdf
Camus, Albert -        El Extranjero.pdfCamus, Albert -        El Extranjero.pdf
Camus, Albert - El Extranjero.pdf
AlexDeLonghi
 
La vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primariaLa vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primaria
EricaCouly1
 
Planificación Ejemplo con la metodología TPACK
Planificación Ejemplo con la metodología  TPACKPlanificación Ejemplo con la metodología  TPACK
Planificación Ejemplo con la metodología TPACK
ssusera6697f
 
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docxLecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
Alejandrino Halire Ccahuana
 
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIACONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
ginnazamudio
 
El ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURAEl ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURA
Armando920824
 
Maristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdfMaristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdf
belbarcala
 
Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1
MauricioSnchez83
 
leyenda, mito, copla,juego de palabras ,epopeya,cantar de gestas,corrido popu...
leyenda, mito, copla,juego de palabras ,epopeya,cantar de gestas,corrido popu...leyenda, mito, copla,juego de palabras ,epopeya,cantar de gestas,corrido popu...
leyenda, mito, copla,juego de palabras ,epopeya,cantar de gestas,corrido popu...
lizeth671681
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
lautyzaracho4
 
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT   en el Aula Ccesa007.pdfDocentes y el uso de chatGPT   en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
Demetrio Ccesa Rayme
 
Radicación con expresiones algebraicas para 9no grado
Radicación con expresiones algebraicas para 9no gradoRadicación con expresiones algebraicas para 9no grado
Radicación con expresiones algebraicas para 9no grado
perezducasaarmando
 

Último (20)

CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZACORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
 
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdfFEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
 
Manual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HCManual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HC
 
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
 
pueblos originarios de chile presentacion twinkl.pptx
pueblos originarios de chile presentacion twinkl.pptxpueblos originarios de chile presentacion twinkl.pptx
pueblos originarios de chile presentacion twinkl.pptx
 
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdfDosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
Dosificación de los aprendizajes U4_Me gustan los animales_Parvulos 1_2_3.pdf
 
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
 
Camus, Albert - El Extranjero.pdf
Camus, Albert -        El Extranjero.pdfCamus, Albert -        El Extranjero.pdf
Camus, Albert - El Extranjero.pdf
 
La vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primariaLa vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primaria
 
Planificación Ejemplo con la metodología TPACK
Planificación Ejemplo con la metodología  TPACKPlanificación Ejemplo con la metodología  TPACK
Planificación Ejemplo con la metodología TPACK
 
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docxLecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
 
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIACONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
 
El ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURAEl ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURA
 
A VISITA DO SENHOR BISPO .
A VISITA DO SENHOR BISPO                .A VISITA DO SENHOR BISPO                .
A VISITA DO SENHOR BISPO .
 
Maristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdfMaristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdf
 
Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1
 
leyenda, mito, copla,juego de palabras ,epopeya,cantar de gestas,corrido popu...
leyenda, mito, copla,juego de palabras ,epopeya,cantar de gestas,corrido popu...leyenda, mito, copla,juego de palabras ,epopeya,cantar de gestas,corrido popu...
leyenda, mito, copla,juego de palabras ,epopeya,cantar de gestas,corrido popu...
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
 
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT   en el Aula Ccesa007.pdfDocentes y el uso de chatGPT   en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
 
Radicación con expresiones algebraicas para 9no grado
Radicación con expresiones algebraicas para 9no gradoRadicación con expresiones algebraicas para 9no grado
Radicación con expresiones algebraicas para 9no grado
 

Leyes de la lógica

  • 1. LOGICA MATEMATICA Ingeniería de Sistemas Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105 Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689 Email: itputumayo@itp.edu.co www.itp.edu.co CAPITULO IV LEYES DE LA LÓGICA Las Tres Leyes de la Lógica La lógica es el eje del pensamiento crítico y es extremadamente útil para sacar a la luz el error y establecer la verdad. Hay principios en la lógica y nos gustaría presentarle a Usted las primeras tres leyes de la lógica las cuales son muy importantes: 1.- La Ley de la Identidad. 2.- La Ley de la No Contradicción. 3.- La Ley del Tercero Excluido. 1) La ley de la identidad establece que A es A. En otras palabras, algo es lo que es. Una manzana es una manzana. Si algo existe tiene una naturaleza, una esencia. Por ejemplo, un libro tiene una portada y una contraportada con páginas en su interior. Un automóvil tiene cuatro ruedas, asientos, puertas, vidrios, etc. Un árbol tiene ramas, hojas, un tronco y raíces. Esto también significa que cualquier cosa que exista tiene características. Reconocemos lo que algo es al observar sus características. Usted sabe que un árbol es un árbol debido a que ve sus ramas, sus hojas, su tronco, etc. Aún más, si algo tiene una identidad, no puede tener otra, ya que ésta es única e individual. En otras palabras: Si algo existe cuenta con una serie de atributos que son consistentes consigo mismo. Este algo, no tiene un conjunto de atributos que sean inconsistentes consigo mismo. Por lo tanto, podemos fácilmente concluir, que un gato no es un paracaídas. Una manzana no es un automóvil de carreras y un árbol no es una película. 2) La ley de la no contradicción nos dice que A no puede ser tanto A y ninguna A al mismo tiempo y en el mismo sentido. En otras palabras: algo, como una declaración no puede ser al mismo tiempo tanto verdadero como falso y del mismo modo. Con frecuencia usamos la ley de la no contradicción en discusiones y debates ya que somos capaces de reconocer cuando algo es contrario a sí mismo. Si le dijéramos a Usted que ayer alguien fue de compras y más tarde le dijéramos que ese alguien no fue de compras, Usted nos corregiría diciéndonos que existe una contradicción. Una contradicción ocurre cuando una declaración excluye la posibilidad de otra y aun ambas afirman ser verdaderas. Ya que sabemos que ambas no pueden ser verdad, vemos entonces, una contradicción. Basados en este principio, podemos concluir, que la verdad no se contradice a sí misma. Este es un concepto muy importante. Vamos a repetirlo: "La verdad no se contradice a sí misma." 3) La ley del tercero excluido dice que una declaración es verdadera o falsa. Por ejemplo: "El cabello de esa mujer es castaño." Es verdadero o falso que el cabello de esa mujer es castaño. Otro ejemplo: La declaración "Estoy embarazado", es verdadera o falsa. Debido a quien escribe esta Lección es un hombre, no es posible que esté embarazado. Por lo tanto, la declaración es falsa. Si fuera una mujer, sería posible que estuviera embarazada dadas las condiciones normales del cuerpo de la mujer. Cuando una mujer se encuentra embarazada, no existe una posición intermedia: Está, o no está embarazada. La ley del tercero excluido es importante ya que nos ayuda a tratar con absolutos y esto es particularmente importante en una sociedad donde el relativismo es promovido y las declaraciones verdaderas son negadas. En conclusión podremos decir que: a) La ley de la identidad establece que A es A; que si algo existe tiene una naturaleza, una naturaleza individual. Es lo que es.
  • 2. LOGICA MATEMATICA Ingeniería de Sistemas Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105 Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689 Email: itputumayo@itp.edu.co www.itp.edu.co b) La ley de la no contradicción nos dice que A no puede ser tanto A y ninguna A al mismotiempo y en el mismo sentido. La verdad no es contradictoria en sí misma. c) La ley del tercero excluido dice que una declaración es verdadera o falsa., no hay una tercera opción. 4) El principio de razón suficiente nos dice que "todo objeto debe tener una razón suficiente que lo explique". Lo que es, es por alguna razón, "nada existe sin una causa o razón determinante". El principio de razón suficiente nos da respuesta a una exigencia natural de nuestra razón, según la cual nada puede ser nada más "porque sí", pues todo obedece a una razón. Pongamos algunos ejemplos que ilustran este principio lógico supremo: El cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos por alguna razón, y esa razón se nos da cuando hacemos la demostración del teorema [de Pitágoras]. Los planetas se mueven en órbitas elípticas por alguna razón, y esa razón aparece cuando acudimos a la ley de la Gravitación Universal. La Revolución mexicana se produjo por alguna razón, y esa razón surge cuando estudiamos sus antecedentes y consecuencias. 5) El principio de causalidad, es el principio que muestra la relación entre la causa y el efecto. Señala que todo lo que actúa o cambia tiene una razón o causa por la que actúa o cambia de esa manera. La causalidad es la relación entre un evento (la causa) y un segundo evento (el efecto), donde el segundo caso se entiende como consecuencia del primero. Gracias a él, encuentran solución a problemas muy importantes, tales como: la existencia de Dios, el conocimiento de la naturaleza de las cosas, la determinación de las leyes naturales. Formulaciones del principio de causalidad. Suele enunciarse con las siguientes fórmulas: a) "Todo efecto tiene una causa"; o: "No existe efecto sin causa". b) "Todo cuanto se hace, tiene causa"; o: "Nada se hace sin causa". c) “Todo cuanto comienza a existir, debe tener una causa eficiente". d) "Todo cuanto existe de manera contingente, tiene causa eficiente". LEYES DE LA LOGICA LEY PROPOSICION EQUIVALENTE Identidiad p p Doble negación: p ¬¬p Tercio excluso p∨¬p Contradicción ¬(p∧¬p) Morgan ¬(p∧q) ¬(p∨q) (¬p∨¬q) (¬p∧¬q) Reducción al absurdo (¬p→(q∧¬q)) p
  • 3. LOGICA MATEMATICA Ingeniería de Sistemas Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105 Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689 Email: itputumayo@itp.edu.co www.itp.edu.co Conmutación (p∨q) (p∧q) (p↔q) (q∨p) (q∧p) (q↔p) Asociación ((p∨q)∨r) ((p∧q)∧r) ((p↔q)↔r) (p∨(q∨r)) (p∧(q∧r)) (p↔(q↔r)) Transposición (p→q) (p↔q) (¬q→¬p) (¬q↔¬p) Distributiva (p∧(q∨r)) (p∨(q∧r)) (p→(q∧r)) (p→(q∨r)) ((p∧q)∨(p∧r)) ((p∨q)∧(p∨r)) ((p→q)∧(p→r)) ((p→q)∨(p→r)) Permutación (p→(q→r)) (q→(p→r)) Silogismo (p→q)→((q→r)→(p→r)) Silogismo hipotético o transitividad ((p→q)∧(q→r))→(p→r) ((p↔q)∧(q↔r))→(p↔r) Inferencia de la alternativa o de los silogismos disyuntivos [¬p∧(p∨q)]→q [p∧(¬p∨¬q)]→¬q Dilema constructivo [(p→q)∧(r→s)∧(p∨r)]→(q∨s) Dilema destructivo [(¬p∨¬q)∧(r→p)∧(s→p)]→(¬r∨¬s) Exportación [(p∧q)→r]↔[(p→(q∨r)] Resolución: [(¬p∨q)∧(p∨r)]→(q∨r) Bicondicional (p↔q) [(p→q)∧(q→p)] Condicional- disyuncion (p→q) (¬p∨q) Condicional- conjunción (p→q) ¬(p∧¬q) Simplificación (p∧q)→p p→(p∨q) Expansión (p→q)↔[p↔(p∧q)] (p→q)↔[q↔(p∨q)] Modus ponendo ponens [(p→q)∧p]→q Modus tollendo tollens [(p→q)∧¬q]→¬p TAUTOLOGÍA: Cuando una proposición compuesta es verdadera para todos los valores de verdad. • CONTRADICCIÓN: Cuando una proposición compuesta es falsa para todos los valores de verdad. • CONTINGENCIA: Proposición que puede ser falsa o verdadera dependiendo de los valores de verdad. Ejemplos
  • 4. LOGICA MATEMATICA Ingeniería de Sistemas Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105 Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689 Email: itputumayo@itp.edu.co www.itp.edu.co Ejercicio Determine, utilizando tablas de verdad, si cada proposición compuesta es tautología, contradicción o contingencia: (a) -(P  Q)  (P ^ - Q) (b) (P V Q)  [Q  (P ^ Q)] (c) [-(-P ^ R) V Q]  [(-P V R) ^ Q] Falacias lógicas ¿Que es una falacia lógica? Una falacia lógica es una proposición presentada como verdadera en una afirmación, pero que solo lo es aparentemente. Las falacias lógicas son utilizadas comúnmente para justificar argumentos o posturas que no son justificables utilizando la razón. Suelen enmascarar engaños, falsedades, o estafas. Saber reconocer las falacias lógicas es de gran ayuda para no ser engañado. Todas las falacias son razonamiento que vulneran alguna regla lógica Las personas educadas no gritan Jorge no grita
  • 5. LOGICA MATEMATICA Ingeniería de Sistemas Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105 Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689 Email: itputumayo@itp.edu.co www.itp.edu.co Jorge es una persona educada Convincente, ¿verdad? Usemos el mismo razonamiento en otro contexto: Eres un criminal si cortas a personas Los cirujanos cortan personas Los cirujanos son criminales La conclusión no tiene porqué ser falsa, pero el razonamiento es incorrecto, por lo que si es cierta, es casualidad. Ambas son la misma falacia lógica: si X=Y, y Z=Y, entonces X=Z. Las falacias lógicas tratan de justificar ideas que usando la razón son injustificables. Son explotadas a menudo por políticos y medios de comunicación para engañar a la gente. Puede que en algún momento incluso tú, inconscientemente, las hayas utilizado. Ejemplos "Los ecologistas dicen que consumimos demasiado energía; pero no hagas caso porque los ecologistas siempre exageran". "No vengas a trabajar a la tienda con éste piercing; recuerda que quién paga, manda". "Según el alcalde, lo mejor para la salud de los ciudadanos es asfaltar todas las plazas de la ciudad" "Tenemos que prohibir que venga gente de fuera. ¿Qué harán nuestros hijos si los extranjeros los roban el trabajo y el pan?" "Nadie puede probar que no haya una influencia de los astros en nuestra vida; por lo tanto, las predicciones de la astrología son verdaderas" Extraído del libro: PIÑERO, Albert. "Logomàquines" Barcelona: RAPE, 1999
  • 6. LOGICA MATEMATICA Ingeniería de Sistemas Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105 Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689 Email: itputumayo@itp.edu.co www.itp.edu.co "El cáncer de pulmón se presenta (frecuentemente) en personas que fuman cigarrillos; por lo tanto, fumar cigarrillos es la causa de este cáncer" Recursos Tautologias, contradicciones y contingencias https://www.youtube.com/watch?v=myOBOoWfQSU https://www.youtube.com/watch?v=lnLoBDJag8E