SlideShare una empresa de Scribd logo
1 de 6
PUNTO 1
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se
dedica al estudio de la inferencia mediante la construcción de lenguajes formales,
sistemas deductivos y semánticas formales. La idea es que estas construcciones
capturen las características esenciales de las inferencias válidas en los lenguajes
naturales, pero que al ser estructuras formales y susceptibles de análisis
matemático, permiten realizar demostraciones rigurosas sobre ellas.
PUNTO 2
El silogismo es una forma de razonamiento deductivo que consta de
dos proposiciones como premisas y otra como conclusión, siendo la última
una inferencia necesariamente deductiva de las otras dos. Fue formulado por
primera vez por Aristóteles, ampliamente reconocido como padre fundador de la
lógica. El silogismo es la noción central de la lógica aristotélica, pilar fundamental
del pensamiento científico y filosófico desde su invención hace más de dos milenios.
PUNTO 3
¿QUE ES UN ENLACE?
En lingüística, se denomina conector a una palabra que es un elemento gramatical
que une partes de un texto le da una relación lógica en las oraciones
EJEMPLOS
Comparativas: Establecen comparación (como, más que, menos que, igual que,
tal como, mejor que, peor que)
Causales: Indican causa de lo expresado (pues, porque, puesto que, ya que)
Disyuntivas: Indican opción o selección [ o, u, o bien ]
Adversativas: Indican oposición[ Pero, más, aunque, sino, sin embargo ]
PUNTO 4 y 5
PROPOSICIONES SIMPLES: tambien denominadas proposiciones atómicas. Son
aquellas proposiciones que no se pueden dividir.
Ejemplos:
 El cielo es azul. * La Luna es redonda * Andrea y Camila
PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son
aquellas que están formadas por dos o más proposiciones simples unidas por los
operadores lógicos.
Ejemplos:
 Fui al banco, pero el banco estaba cerrado.
 Los lectores de este libro son jóvenes o universitarios.
 Si el miércoles próximo me saco la lotería entonces te regalare un auto.
PUNTO 6
un enunciado es un acto de habla (acto locutivo) mínimo, realizado mediante
una oración o una expresión sintáctica más pequeña que una oración.
Informalmente se usa enunciado como sinónimo de oración, aunque
pragmáticamente existen diferencias. Por ejemplo, una misma oración dicha en
diferentes contextos corresponde a enunciados diferentes. Y viceversa, diferentes
oraciones pueden realizar o concretar un mismo enunciado:
Quiero que saques la basura.
¿Puedes sacar la basura?
Saca la basura, por favor.
¿Quieres sacar la basura?
PUNTO 7
Tablas de verdad o tabla de valores de verdad, es una tabla que muestra el valor
de verdad de una proposición compuesta, para cada combinación de valores de
verdad que se pueda asignar a sus componentes.
Estas tablas pueden construirse haciendo una interpretación de los signos lógicos
como: no, o, y, si…entonces, sí y sólo si. La interpretación corresponde al sentido
que estas operaciones tienen dentro del razonamiento. Puede establecerse una
correspondencia entre los resultados de estas tablas y la deducción
lógico matemática. En consecuencia, las tablas de verdad constituyen un método
de decisión para chequear si una proposición es o no un teorema. Para la
construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0
(cero) a una proposición falsa.
 Negación: El valor de verdad de la negación es el contrario de la proposición
negada.
 La conjunción sirve para indicar que se cumplen dos condiciones
simultáneamente, por ejemplo:
La función es creciente y está definida para los números positivos, utilizamos Para
que la conjunción p^q sea verdadera las dos expresiones que intervienen deben
ser verdaderas y sólo en ese caso como se indica por su tabla de verdad.
 Disyunción: La disyunción solamente es falsa si lo son sus dos componentes.
Con la disyunción a diferencia de la conjunción, se representan dos expresiones
que afirman que una de las dos es verdadera, por lo que basta con que una de
ellas sea verdadera para que la expresión p ∨ q sea verdadera.
 Condicional: El condicional solamente es falso cuando el antecedente es
verdadero y el consecuente es falso. De la verdad no se puede seguir la
falsedad.
 PUNTO 8
La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente los valores
de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en cualquier otro caso. Es decir, es verdadera cuando
ambas son verdaderas
CONJUNCIÓN
La conjunción es un operador que opera sobre dos valores de verdad, típicamente
los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.
Tabla de verdad de la conjunción
CONDICIONAL
El condicional material es un operador que opera sobre dos valores de verdad,
típicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa,
yverdadero en cualquier otro caso.
La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces
q, se representa por p → q
Tabla de Verdad Condicional
BICONDICIONAL
El bicondicional o doble implicación es un operador que funciona sobre dos valores
de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de
verdad, y falso cuando sus valores de verdad difieren.
Tabla de Verdad Bicondicional
DISYUNCIÓN
La disyunción es un operador que opera sobre dos valores de verdad, típicamente
los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas
lo son, y falso cuando ambas son falsas.
Tabla de verdad de la disyunción

Más contenido relacionado

La actualidad más candente

Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesDalena Gutiérrez
 
Conceptos matematicos
Conceptos matematicos Conceptos matematicos
Conceptos matematicos Paúl Medina
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposicionesCariela Loyo
 
Unidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebraUnidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebraDanielaMedina789100
 
Calculo proposicional - Introducción
Calculo proposicional - IntroducciónCalculo proposicional - Introducción
Calculo proposicional - IntroducciónDavid Narváez
 
Cuaderno digital de Helen Caraballo
Cuaderno digital de Helen CaraballoCuaderno digital de Helen Caraballo
Cuaderno digital de Helen CaraballoHelenCaraballo1
 
Tecnicas de programación
Tecnicas de programaciónTecnicas de programación
Tecnicas de programaciónsandyx17
 
Métodos de demostración y silogismo
Métodos de demostración y silogismoMétodos de demostración y silogismo
Métodos de demostración y silogismojorjais92
 
Informe 1
Informe 1Informe 1
Informe 1luisrvb
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretasredimido63
 

La actualidad más candente (18)

Matemática.
Matemática.Matemática.
Matemática.
 
Lógica matemática2
Lógica matemática2Lógica matemática2
Lógica matemática2
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Conceptos matematicos
Conceptos matematicos Conceptos matematicos
Conceptos matematicos
 
B rayam estructura 1
B rayam  estructura 1B rayam  estructura 1
B rayam estructura 1
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
 
Unidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebraUnidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebra
 
Calculo proposicional - Introducción
Calculo proposicional - IntroducciónCalculo proposicional - Introducción
Calculo proposicional - Introducción
 
Cuaderno digital de Helen Caraballo
Cuaderno digital de Helen CaraballoCuaderno digital de Helen Caraballo
Cuaderno digital de Helen Caraballo
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
Tecnicas de programación
Tecnicas de programaciónTecnicas de programación
Tecnicas de programación
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
Métodos de demostración y silogismo
Métodos de demostración y silogismoMétodos de demostración y silogismo
Métodos de demostración y silogismo
 
Informe 1
Informe 1Informe 1
Informe 1
 
Estructuras
EstructurasEstructuras
Estructuras
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
Formas Proposicionales
Formas ProposicionalesFormas Proposicionales
Formas Proposicionales
 

Destacado

La república platón
La república platónLa república platón
La república platónnataliabazan
 
Créer sa boutique en ligne avec Citruseo
Créer sa boutique en ligne avec CitruseoCréer sa boutique en ligne avec Citruseo
Créer sa boutique en ligne avec CitruseoCitruseo
 
A doutrina da Expiação Limitada
A doutrina da Expiação LimitadaA doutrina da Expiação Limitada
A doutrina da Expiação LimitadaViva a Igreja
 
Tajmahal Presentation
Tajmahal PresentationTajmahal Presentation
Tajmahal PresentationShivam Koropa
 
Personalobjectspeechthornock2017
Personalobjectspeechthornock2017Personalobjectspeechthornock2017
Personalobjectspeechthornock2017thornorm
 
Tu és fiel , eu sei que tu és fiel
Tu és fiel , eu sei que tu és fielTu és fiel , eu sei que tu és fiel
Tu és fiel , eu sei que tu és fielAline Vasconcelos
 
presentacion de windows
presentacion de windowspresentacion de windows
presentacion de windowsjosepazr
 
Estrategias para proteger el ambiente
Estrategias para proteger el ambienteEstrategias para proteger el ambiente
Estrategias para proteger el ambienteKAtiRojChu
 
автореферат_Селеев
автореферат_Селеевавтореферат_Селеев
автореферат_СелеевSerg Seleev
 
Λογισμικό Υπολογιστή
Λογισμικό ΥπολογιστήΛογισμικό Υπολογιστή
Λογισμικό Υπολογιστήkiriaki saha
 
Arc2625 internship report
Arc2625 internship reportArc2625 internship report
Arc2625 internship reportTeck Wei
 
Medicamentos Antidepresivos y Categorias
Medicamentos Antidepresivos y CategoriasMedicamentos Antidepresivos y Categorias
Medicamentos Antidepresivos y CategoriasNahara Velez
 
Οι θεατροπαιδαγωγικές δράσεις της ιστορίας :'οι περιπέτειες ενός ταξιδευτή'
Οι θεατροπαιδαγωγικές δράσεις της ιστορίας :'οι περιπέτειες ενός ταξιδευτή'Οι θεατροπαιδαγωγικές δράσεις της ιστορίας :'οι περιπέτειες ενός ταξιδευτή'
Οι θεατροπαιδαγωγικές δράσεις της ιστορίας :'οι περιπέτειες ενός ταξιδευτή'theatropaizontas
 

Destacado (20)

La república platón
La república platónLa república platón
La república platón
 
Créer sa boutique en ligne avec Citruseo
Créer sa boutique en ligne avec CitruseoCréer sa boutique en ligne avec Citruseo
Créer sa boutique en ligne avec Citruseo
 
A doutrina da Expiação Limitada
A doutrina da Expiação LimitadaA doutrina da Expiação Limitada
A doutrina da Expiação Limitada
 
NCG Week Case Competition
NCG Week Case CompetitionNCG Week Case Competition
NCG Week Case Competition
 
ESTUDIANTE
ESTUDIANTEESTUDIANTE
ESTUDIANTE
 
Tajmahal Presentation
Tajmahal PresentationTajmahal Presentation
Tajmahal Presentation
 
Bi̇ti̇rme eski
Bi̇ti̇rme eskiBi̇ti̇rme eski
Bi̇ti̇rme eski
 
CV Resume
CV ResumeCV Resume
CV Resume
 
Personalobjectspeechthornock2017
Personalobjectspeechthornock2017Personalobjectspeechthornock2017
Personalobjectspeechthornock2017
 
Valentín
ValentínValentín
Valentín
 
Tu és fiel , eu sei que tu és fiel
Tu és fiel , eu sei que tu és fielTu és fiel , eu sei que tu és fiel
Tu és fiel , eu sei que tu és fiel
 
presentacion de windows
presentacion de windowspresentacion de windows
presentacion de windows
 
Estrategias para proteger el ambiente
Estrategias para proteger el ambienteEstrategias para proteger el ambiente
Estrategias para proteger el ambiente
 
автореферат_Селеев
автореферат_Селеевавтореферат_Селеев
автореферат_Селеев
 
Una ciudad: Vigo
Una ciudad: VigoUna ciudad: Vigo
Una ciudad: Vigo
 
Λογισμικό Υπολογιστή
Λογισμικό ΥπολογιστήΛογισμικό Υπολογιστή
Λογισμικό Υπολογιστή
 
Arc2625 internship report
Arc2625 internship reportArc2625 internship report
Arc2625 internship report
 
El editorial periodstico
El editorial periodstico El editorial periodstico
El editorial periodstico
 
Medicamentos Antidepresivos y Categorias
Medicamentos Antidepresivos y CategoriasMedicamentos Antidepresivos y Categorias
Medicamentos Antidepresivos y Categorias
 
Οι θεατροπαιδαγωγικές δράσεις της ιστορίας :'οι περιπέτειες ενός ταξιδευτή'
Οι θεατροπαιδαγωγικές δράσεις της ιστορίας :'οι περιπέτειες ενός ταξιδευτή'Οι θεατροπαιδαγωγικές δράσεις της ιστορίας :'οι περιπέτειες ενός ταξιδευτή'
Οι θεατροπαιδαγωγικές δράσεις της ιστορίας :'οι περιπέτειες ενός ταξιδευτή'
 

Similar a Logica formal

Algebra
Algebra Algebra
Algebra rogel04
 
Algebra
Algebra Algebra
Algebra rogel04
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionaldkrastek
 
Logica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomoLogica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomorockyhoyos1
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesMancast1
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalyeliadan_16
 
Logica matematica modalidad
Logica matematica modalidad Logica matematica modalidad
Logica matematica modalidad adrianaolivera322
 
Logica matematica
Logica matematicaLogica matematica
Logica matematicajorleidy_10
 

Similar a Logica formal (20)

Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Algebra
Algebra Algebra
Algebra
 
Algebra
Algebra Algebra
Algebra
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomoLogica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomo
 
Logica Matematica
Logica MatematicaLogica Matematica
Logica Matematica
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Logica proporcional
Logica proporcionalLogica proporcional
Logica proporcional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Logica matematica modalidad
Logica matematica modalidad Logica matematica modalidad
Logica matematica modalidad
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 

Último

Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadAlejandrino Halire Ccahuana
 
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.José Luis Palma
 
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteJuan Hernandez
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIACarlos Campaña Montenegro
 
6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docxCeciliaGuerreroGonza1
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticosisabeltrejoros
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptxJunkotantik
 
Planificacion Anual 2do Grado Educacion Primaria 2024 Ccesa007.pdf
Planificacion Anual 2do Grado Educacion Primaria   2024   Ccesa007.pdfPlanificacion Anual 2do Grado Educacion Primaria   2024   Ccesa007.pdf
Planificacion Anual 2do Grado Educacion Primaria 2024 Ccesa007.pdfDemetrio Ccesa Rayme
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PCCesarFernandez937857
 
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptxLINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptxdanalikcruz2000
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfMaryRotonda1
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxOscarEduardoSanchezC
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinavergarakarina022
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosCesarFernandez937857
 
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptDE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptELENA GALLARDO PAÚLS
 

Último (20)

Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdad
 
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.
 
Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parte
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
 
Power Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptxPower Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptx
 
6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
6° SEM30 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticos
 
Sesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdfSesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdf
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptx
 
Planificacion Anual 2do Grado Educacion Primaria 2024 Ccesa007.pdf
Planificacion Anual 2do Grado Educacion Primaria   2024   Ccesa007.pdfPlanificacion Anual 2do Grado Educacion Primaria   2024   Ccesa007.pdf
Planificacion Anual 2do Grado Educacion Primaria 2024 Ccesa007.pdf
 
Razonamiento Matemático 1. Deta del año 2020
Razonamiento Matemático 1. Deta del año 2020Razonamiento Matemático 1. Deta del año 2020
Razonamiento Matemático 1. Deta del año 2020
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PC
 
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptxLINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
 
Repaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia GeneralRepaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia General
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdf
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karina
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos Básicos
 
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptDE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
 

Logica formal

  • 1. PUNTO 1 La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas. PUNTO 2 El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, ampliamente reconocido como padre fundador de la lógica. El silogismo es la noción central de la lógica aristotélica, pilar fundamental del pensamiento científico y filosófico desde su invención hace más de dos milenios. PUNTO 3 ¿QUE ES UN ENLACE? En lingüística, se denomina conector a una palabra que es un elemento gramatical que une partes de un texto le da una relación lógica en las oraciones EJEMPLOS Comparativas: Establecen comparación (como, más que, menos que, igual que, tal como, mejor que, peor que) Causales: Indican causa de lo expresado (pues, porque, puesto que, ya que) Disyuntivas: Indican opción o selección [ o, u, o bien ] Adversativas: Indican oposición[ Pero, más, aunque, sino, sin embargo ] PUNTO 4 y 5 PROPOSICIONES SIMPLES: tambien denominadas proposiciones atómicas. Son aquellas proposiciones que no se pueden dividir. Ejemplos:  El cielo es azul. * La Luna es redonda * Andrea y Camila PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos. Ejemplos:  Fui al banco, pero el banco estaba cerrado.  Los lectores de este libro son jóvenes o universitarios.  Si el miércoles próximo me saco la lotería entonces te regalare un auto.
  • 2. PUNTO 6 un enunciado es un acto de habla (acto locutivo) mínimo, realizado mediante una oración o una expresión sintáctica más pequeña que una oración. Informalmente se usa enunciado como sinónimo de oración, aunque pragmáticamente existen diferencias. Por ejemplo, una misma oración dicha en diferentes contextos corresponde a enunciados diferentes. Y viceversa, diferentes oraciones pueden realizar o concretar un mismo enunciado: Quiero que saques la basura. ¿Puedes sacar la basura? Saca la basura, por favor. ¿Quieres sacar la basura? PUNTO 7 Tablas de verdad o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes. Estas tablas pueden construirse haciendo una interpretación de los signos lógicos como: no, o, y, si…entonces, sí y sólo si. La interpretación corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico matemática. En consecuencia, las tablas de verdad constituyen un método de decisión para chequear si una proposición es o no un teorema. Para la construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0 (cero) a una proposición falsa.  Negación: El valor de verdad de la negación es el contrario de la proposición negada.  La conjunción sirve para indicar que se cumplen dos condiciones simultáneamente, por ejemplo: La función es creciente y está definida para los números positivos, utilizamos Para que la conjunción p^q sea verdadera las dos expresiones que intervienen deben ser verdaderas y sólo en ese caso como se indica por su tabla de verdad.  Disyunción: La disyunción solamente es falsa si lo son sus dos componentes. Con la disyunción a diferencia de la conjunción, se representan dos expresiones que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdadera para que la expresión p ∨ q sea verdadera.  Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad.
  • 3.  PUNTO 8 La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir, es verdadera cuando ambas son verdaderas CONJUNCIÓN La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas. Tabla de verdad de la conjunción
  • 4. CONDICIONAL El condicional material es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, yverdadero en cualquier otro caso. La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por p → q Tabla de Verdad Condicional
  • 5. BICONDICIONAL El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren. Tabla de Verdad Bicondicional DISYUNCIÓN La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de
  • 6. verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas. Tabla de verdad de la disyunción