SlideShare una empresa de Scribd logo
TABLAS DE LA
VERDAD
JHON JAIRO CORTÉS MUÑOZ
¿Qué son?
Una tabla de verdad, o tabla de
valores de verdades, es una tabla que
muestra el valor de verdad de una
proposición compuesta, para cada
combinación de verdad que se pueda
asignar.1​
Fue desarrollada por Charles Sanders
Peirce por los años 1880, pero el
formato más popular es el que
introdujo Ludwig Wittgenstein en su
Tractatus logico-philosophicus,
publicado en 1921.
¿Quién fue
Charles Sanders
Peirce?
Charles Sanders Peirce nació en Cambridge,
Massachusetts el 10 de septiembre de 1839 y
falleció en Milford, Pensilvania el 19 de abril
de 1914. Fue un filósofo,​ lógico y científico
estadounidense. Es considerado el fundador
del pragmatismo y el padre de la semiótica
moderna o teoría de los signos, junto a
Ferdinand de Saussure.
Peirce publicó dos libros, Photometric
Researches (1878) y Studies in Logic (1883),
y un gran número de artículos en revistas de
diferentes áreas. Sus manuscritos, una gran
parte de ellos sin publicar, ocupan cerca de
80.000 páginas.
¿Para qué
sirven las
tablas de
verdad?
Según Wittgenstein, el método de tablas de
verdad sirve para determinar las condiciones
de verdad de un enunciado, es decir, su
significado, en función de las condiciones de
verdad de sus elementos atómicos
En otras palabras, la tabla de verdad nos
dice en qué situaciones el enunciado es
verdadero y en cuales es falso.
¿Cómo se
hace una
tabla de
verdad?
el objetivo de la tabla es determinar las
condiciones necesarias y suficientes de
la verdad de una proposición o
enunciado.
Cada renglón de la tabla que hace
verdadero al enunciado en cuestión
determina una condición suficiente para
su verdad. En cada renglón, los valores
asignados a cada variable proposicional
determinan una condición necesaria del
renglón.
Ejemplo
Supongamos que queremos hacer la tabla de
verdad del siguiente enunciado:
• Si tu hermana no pasa el examen, estarás en graves
problemas.
• Como primer paso, identificamos las proposiciones atómicas y
les asignamos una variable:
• P: Tu hermana pasa el examen
• Q: Estarás en graves problemas
Proceso
De esta manera, podemos formalizar (15)
como (~P)⇒Q y construir su tabla de la
siguiente manera:
¿Qué es lo que nos dice el primer renglón
de la tabla? Nos dice que si P y Q son
ambos verdaderos, (~P)⇒Q también lo es.
En otras palabras, basta que “Tu hermana
pasa el examen” y “Estarás en graves
problemas” sean verdaderos para que “Si
tu hermana no pasa el examen, estarás en
graves problemas” sea verdadero.
Proceso
Es decir, la condición suficiente para
que sea verdadero implica que tu
hermana pase el examen y tú estés en
problemas en el futuro. Lo mismo
sucede con cada uno de los tres
primeros renglones de la tabla (los que
hacen verdaderos a (~P)⇒Q). Basta
que P sea verdadero y Q falso o que P
sea falso y Q verdadero para que
(~P)⇒Q sea verdadero.
No basta que tu hermana no pase el
examen, también es necesario que tú
estés en graves problemas si tu
hermana no pasa el examen. Es por
ello que cada renglón se lee de manera
conjuntiva y el enunciado para analizar
es equivalente a la disyunción de cada
uno de los renglones de la tabla que lo
hacen verdadero.
Aplicaciones
Fundamentalmente, una tabla de verdad es un
dispositivo para demostrar ciertas
propiedades lógicas y semánticas de enunciados
del lenguaje natural o de fórmulas del
lenguaje del cálculo proposicional:
- Sin son tautológicas, contradictorias o
contingentes
- Cuáles son sus condiciones de verdad
- Cuál es su rol inferencial, es decir, cuáles son
sus conclusiones lógicas y de qué
otras proposiciones se siguen lógicamente
Teoría de tabla de
verdad
El procedimiento para construir una tabla de verdad es
sencillo y relativamente mecánico; en esta plática, asumiré
que todos saben ya cómo hacer una tabla de verdad para
cualquier fórmula del cálculo proposicional clásico. Para
aplicar el método de tablas de verdad a un enunciado o
proposición, por lo tanto, es necesario primero
simbolizarlo, es decir, determinar qué fórmula del lenguaje
proposicional muestra su forma lógica y, luego, elaborar la
tabla de verdad de dicha formula.
Si al aplicar el método de tablas de verdad encontramos
que una fórmula es tautológica, presumimos que ella es
una verdad lógica del cálculo proposicional es decir que es
lógicamente válida, lógicamente verdadera o verdadera
con necesidad lógica. Por lo tanto, el uso de las tablas de
verdad como métodos para demostrar que algo es
lógicamente necesario presupone ciertas tesis sobre la
verdad y la necesidad lógicas. Cada uno de los pasos y
cada una de las características de las tablas de verdad
representa una tesis lógica sustancial.
Videos teóricos y procedimentales de refuerzo
• https://www.youtube.com/watch?v=L69ygPEeq7M
• https://www.youtube.com/watch?v=cLDnCprTmFE
Muchas gracias

Más contenido relacionado

Similar a TABLAS DE LA VERDAD.pptx

_Tablas_de_Verdad_Tablas_de_Verdad_Tablas_de_Verdad.pptx
_Tablas_de_Verdad_Tablas_de_Verdad_Tablas_de_Verdad.pptx_Tablas_de_Verdad_Tablas_de_Verdad_Tablas_de_Verdad.pptx
_Tablas_de_Verdad_Tablas_de_Verdad_Tablas_de_Verdad.pptx
FabianAndresNuezPinz
 
TABLAS DE LA VERDAD
TABLAS DE LA VERDADTABLAS DE LA VERDAD
TABLAS DE LA VERDAD
SofiaCarrilloOsma
 
presentacinnotasdepapelresaltadocollageblanco1-220920202226-8d510a61.pdf
presentacinnotasdepapelresaltadocollageblanco1-220920202226-8d510a61.pdfpresentacinnotasdepapelresaltadocollageblanco1-220920202226-8d510a61.pdf
presentacinnotasdepapelresaltadocollageblanco1-220920202226-8d510a61.pdf
GinettheRoxinny
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
Kathy Mishell
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
soy_docente_web
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
Colegio Agropecuario de San Carlos
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
Colegio Agropecuario de San Carlos
 
Concepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicasConcepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicas
jose williams flores trujillo
 
Conceptos De Matriz
Conceptos De MatrizConceptos De Matriz
Conceptos De Matriz
jose williams flores trujillo
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
Guadalupe Robles Calderón
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Angel Muñoz Álvarez
 
Logica proposiciona
Logica proposicionaLogica proposiciona
Logica proposiciona
carlosgutierrez2010
 
Funciones Veritativas
Funciones VeritativasFunciones Veritativas
Funciones Veritativas
rafael felix
 
logica_proposicional_2022.pptx
logica_proposicional_2022.pptxlogica_proposicional_2022.pptx
logica_proposicional_2022.pptx
Raúl Monroy Pamplona
 
Introducción a la lógica de programación
Introducción a la lógica de  programaciónIntroducción a la lógica de  programación
Introducción a la lógica de programación
KareliaRivas
 
Capitulo_1_Logica_y_Conjuntos.pdf
Capitulo_1_Logica_y_Conjuntos.pdfCapitulo_1_Logica_y_Conjuntos.pdf
Capitulo_1_Logica_y_Conjuntos.pdf
YamilaNicelLescano
 
Tecnicas de conteo
Tecnicas de conteoTecnicas de conteo
Tecnicas de conteo
danylopez
 
Tecnicas de conteo
Tecnicas de conteoTecnicas de conteo
Tecnicas de conteo
danylopez
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
GonzaloGarciaGuerero109
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
Rodrigo Garcia Rivera
 

Similar a TABLAS DE LA VERDAD.pptx (20)

_Tablas_de_Verdad_Tablas_de_Verdad_Tablas_de_Verdad.pptx
_Tablas_de_Verdad_Tablas_de_Verdad_Tablas_de_Verdad.pptx_Tablas_de_Verdad_Tablas_de_Verdad_Tablas_de_Verdad.pptx
_Tablas_de_Verdad_Tablas_de_Verdad_Tablas_de_Verdad.pptx
 
TABLAS DE LA VERDAD
TABLAS DE LA VERDADTABLAS DE LA VERDAD
TABLAS DE LA VERDAD
 
presentacinnotasdepapelresaltadocollageblanco1-220920202226-8d510a61.pdf
presentacinnotasdepapelresaltadocollageblanco1-220920202226-8d510a61.pdfpresentacinnotasdepapelresaltadocollageblanco1-220920202226-8d510a61.pdf
presentacinnotasdepapelresaltadocollageblanco1-220920202226-8d510a61.pdf
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Concepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicasConcepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicas
 
Conceptos De Matriz
Conceptos De MatrizConceptos De Matriz
Conceptos De Matriz
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica proposiciona
Logica proposicionaLogica proposiciona
Logica proposiciona
 
Funciones Veritativas
Funciones VeritativasFunciones Veritativas
Funciones Veritativas
 
logica_proposicional_2022.pptx
logica_proposicional_2022.pptxlogica_proposicional_2022.pptx
logica_proposicional_2022.pptx
 
Introducción a la lógica de programación
Introducción a la lógica de  programaciónIntroducción a la lógica de  programación
Introducción a la lógica de programación
 
Capitulo_1_Logica_y_Conjuntos.pdf
Capitulo_1_Logica_y_Conjuntos.pdfCapitulo_1_Logica_y_Conjuntos.pdf
Capitulo_1_Logica_y_Conjuntos.pdf
 
Tecnicas de conteo
Tecnicas de conteoTecnicas de conteo
Tecnicas de conteo
 
Tecnicas de conteo
Tecnicas de conteoTecnicas de conteo
Tecnicas de conteo
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 

Último

ESQUEMAS BASICOS Ley de Enjuiciamiento Civil
ESQUEMAS BASICOS Ley de Enjuiciamiento CivilESQUEMAS BASICOS Ley de Enjuiciamiento Civil
ESQUEMAS BASICOS Ley de Enjuiciamiento Civil
Cristobal Pinto Andrade
 
Casación Nro. 574-2023-Ica-LPDerecho.pdf
Casación Nro. 574-2023-Ica-LPDerecho.pdfCasación Nro. 574-2023-Ica-LPDerecho.pdf
Casación Nro. 574-2023-Ica-LPDerecho.pdf
JaimeDeLaFuente10
 
Protege tu startup: claves legales del pacto de socios - Robert Burgell
Protege tu startup: claves legales del pacto de socios - Robert BurgellProtege tu startup: claves legales del pacto de socios - Robert Burgell
Protege tu startup: claves legales del pacto de socios - Robert Burgell
ITeC Instituto Tecnología Construcción
 
BBSC® Seminario Impuesto Sustitutivo Ley 21.681.pdf
BBSC® Seminario Impuesto Sustitutivo Ley 21.681.pdfBBSC® Seminario Impuesto Sustitutivo Ley 21.681.pdf
BBSC® Seminario Impuesto Sustitutivo Ley 21.681.pdf
Claudia Valdés Muñoz
 
Metodología de la investigación .pdf
Metodología de la investigación   .pdfMetodología de la investigación   .pdf
Metodología de la investigación .pdf
EmelyFransheskaConce
 
DECLARACION ANUAL SSSSSSSSSSSSSSSSSSSSSSSSSSSSSCRISTAL 2023.pdf
DECLARACION ANUAL SSSSSSSSSSSSSSSSSSSSSSSSSSSSSCRISTAL 2023.pdfDECLARACION ANUAL SSSSSSSSSSSSSSSSSSSSSSSSSSSSSCRISTAL 2023.pdf
DECLARACION ANUAL SSSSSSSSSSSSSSSSSSSSSSSSSSSSSCRISTAL 2023.pdf
jeremimendez12
 
Exp. 376-2014_edy_rosendo_y_melyn_carol_sanchez_TNRCH.pdf
Exp. 376-2014_edy_rosendo_y_melyn_carol_sanchez_TNRCH.pdfExp. 376-2014_edy_rosendo_y_melyn_carol_sanchez_TNRCH.pdf
Exp. 376-2014_edy_rosendo_y_melyn_carol_sanchez_TNRCH.pdf
JaimeDeLaFuente10
 
Introducción al Domicilio Fiscal: Descúbrelo todo
Introducción al Domicilio Fiscal: Descúbrelo todoIntroducción al Domicilio Fiscal: Descúbrelo todo
Introducción al Domicilio Fiscal: Descúbrelo todo
Kupfer Tax Services
 
La Ética Profesional en la Abogacía- Dilemas y Responsabilidades del Abogado ...
La Ética Profesional en la Abogacía- Dilemas y Responsabilidades del Abogado ...La Ética Profesional en la Abogacía- Dilemas y Responsabilidades del Abogado ...
La Ética Profesional en la Abogacía- Dilemas y Responsabilidades del Abogado ...
lacissalccisum
 
0.0.0.0.0.- SIMULACRO DE AUDIENCIA DE JUICIO ORAL EN BOLIVI1.pdf
0.0.0.0.0.- SIMULACRO DE AUDIENCIA DE JUICIO ORAL EN BOLIVI1.pdf0.0.0.0.0.- SIMULACRO DE AUDIENCIA DE JUICIO ORAL EN BOLIVI1.pdf
0.0.0.0.0.- SIMULACRO DE AUDIENCIA DE JUICIO ORAL EN BOLIVI1.pdf
JoaquinWilfredoAvila
 
7 MOMENTOS PROCESALES DE LA DETENCION EN FLAGRANCIA-Epigmeo mexico legal.pdf
7 MOMENTOS PROCESALES DE LA DETENCION EN FLAGRANCIA-Epigmeo mexico legal.pdf7 MOMENTOS PROCESALES DE LA DETENCION EN FLAGRANCIA-Epigmeo mexico legal.pdf
7 MOMENTOS PROCESALES DE LA DETENCION EN FLAGRANCIA-Epigmeo mexico legal.pdf
manuelulloa23
 
La investigacion penal y sus etapas.pptx
La investigacion penal y sus etapas.pptxLa investigacion penal y sus etapas.pptx
La investigacion penal y sus etapas.pptx
Raul Castillo
 
S01_s1 - Derecho Comercial - Marzo - I - 2024 - UTP.pdf
S01_s1 - Derecho Comercial - Marzo - I - 2024 - UTP.pdfS01_s1 - Derecho Comercial - Marzo - I - 2024 - UTP.pdf
S01_s1 - Derecho Comercial - Marzo - I - 2024 - UTP.pdf
romariosaraya12345
 
Conferencia ABC Corrupción Contraloria G
Conferencia ABC Corrupción Contraloria GConferencia ABC Corrupción Contraloria G
Conferencia ABC Corrupción Contraloria G
RONMYJOSESALIMEYMEJI
 
Casación Nro. 10171–2017-Ica-LPDerecho.pdf
Casación Nro. 10171–2017-Ica-LPDerecho.pdfCasación Nro. 10171–2017-Ica-LPDerecho.pdf
Casación Nro. 10171–2017-Ica-LPDerecho.pdf
JaimeDeLaFuente10
 
Niños y jóvenes sicarios.pdfNiños y jóvenes sicarios.pdf
Niños y jóvenes sicarios.pdfNiños y jóvenes sicarios.pdfNiños y jóvenes sicarios.pdfNiños y jóvenes sicarios.pdf
Niños y jóvenes sicarios.pdfNiños y jóvenes sicarios.pdf
MariaVirginiaMedrano
 
la teoría caso constitucional bien explicado.pdf
la teoría caso constitucional bien explicado.pdfla teoría caso constitucional bien explicado.pdf
la teoría caso constitucional bien explicado.pdf
mariafernanda117816
 
gd-reseach-ethics-practical-guide-091120-es.pdf
gd-reseach-ethics-practical-guide-091120-es.pdfgd-reseach-ethics-practical-guide-091120-es.pdf
gd-reseach-ethics-practical-guide-091120-es.pdf
EdwinAcosta73
 
2 LP 2 TIPOS DE DEF Ana María Amarfil definiciones (1).pptx
2 LP 2 TIPOS DE DEF Ana María Amarfil  definiciones (1).pptx2 LP 2 TIPOS DE DEF Ana María Amarfil  definiciones (1).pptx
2 LP 2 TIPOS DE DEF Ana María Amarfil definiciones (1).pptx
SaraCastro158048
 
Línea del Tiempo sobre el derecho en guatemala
Línea del Tiempo sobre el derecho en guatemalaLínea del Tiempo sobre el derecho en guatemala
Línea del Tiempo sobre el derecho en guatemala
Aurora998250
 

Último (20)

ESQUEMAS BASICOS Ley de Enjuiciamiento Civil
ESQUEMAS BASICOS Ley de Enjuiciamiento CivilESQUEMAS BASICOS Ley de Enjuiciamiento Civil
ESQUEMAS BASICOS Ley de Enjuiciamiento Civil
 
Casación Nro. 574-2023-Ica-LPDerecho.pdf
Casación Nro. 574-2023-Ica-LPDerecho.pdfCasación Nro. 574-2023-Ica-LPDerecho.pdf
Casación Nro. 574-2023-Ica-LPDerecho.pdf
 
Protege tu startup: claves legales del pacto de socios - Robert Burgell
Protege tu startup: claves legales del pacto de socios - Robert BurgellProtege tu startup: claves legales del pacto de socios - Robert Burgell
Protege tu startup: claves legales del pacto de socios - Robert Burgell
 
BBSC® Seminario Impuesto Sustitutivo Ley 21.681.pdf
BBSC® Seminario Impuesto Sustitutivo Ley 21.681.pdfBBSC® Seminario Impuesto Sustitutivo Ley 21.681.pdf
BBSC® Seminario Impuesto Sustitutivo Ley 21.681.pdf
 
Metodología de la investigación .pdf
Metodología de la investigación   .pdfMetodología de la investigación   .pdf
Metodología de la investigación .pdf
 
DECLARACION ANUAL SSSSSSSSSSSSSSSSSSSSSSSSSSSSSCRISTAL 2023.pdf
DECLARACION ANUAL SSSSSSSSSSSSSSSSSSSSSSSSSSSSSCRISTAL 2023.pdfDECLARACION ANUAL SSSSSSSSSSSSSSSSSSSSSSSSSSSSSCRISTAL 2023.pdf
DECLARACION ANUAL SSSSSSSSSSSSSSSSSSSSSSSSSSSSSCRISTAL 2023.pdf
 
Exp. 376-2014_edy_rosendo_y_melyn_carol_sanchez_TNRCH.pdf
Exp. 376-2014_edy_rosendo_y_melyn_carol_sanchez_TNRCH.pdfExp. 376-2014_edy_rosendo_y_melyn_carol_sanchez_TNRCH.pdf
Exp. 376-2014_edy_rosendo_y_melyn_carol_sanchez_TNRCH.pdf
 
Introducción al Domicilio Fiscal: Descúbrelo todo
Introducción al Domicilio Fiscal: Descúbrelo todoIntroducción al Domicilio Fiscal: Descúbrelo todo
Introducción al Domicilio Fiscal: Descúbrelo todo
 
La Ética Profesional en la Abogacía- Dilemas y Responsabilidades del Abogado ...
La Ética Profesional en la Abogacía- Dilemas y Responsabilidades del Abogado ...La Ética Profesional en la Abogacía- Dilemas y Responsabilidades del Abogado ...
La Ética Profesional en la Abogacía- Dilemas y Responsabilidades del Abogado ...
 
0.0.0.0.0.- SIMULACRO DE AUDIENCIA DE JUICIO ORAL EN BOLIVI1.pdf
0.0.0.0.0.- SIMULACRO DE AUDIENCIA DE JUICIO ORAL EN BOLIVI1.pdf0.0.0.0.0.- SIMULACRO DE AUDIENCIA DE JUICIO ORAL EN BOLIVI1.pdf
0.0.0.0.0.- SIMULACRO DE AUDIENCIA DE JUICIO ORAL EN BOLIVI1.pdf
 
7 MOMENTOS PROCESALES DE LA DETENCION EN FLAGRANCIA-Epigmeo mexico legal.pdf
7 MOMENTOS PROCESALES DE LA DETENCION EN FLAGRANCIA-Epigmeo mexico legal.pdf7 MOMENTOS PROCESALES DE LA DETENCION EN FLAGRANCIA-Epigmeo mexico legal.pdf
7 MOMENTOS PROCESALES DE LA DETENCION EN FLAGRANCIA-Epigmeo mexico legal.pdf
 
La investigacion penal y sus etapas.pptx
La investigacion penal y sus etapas.pptxLa investigacion penal y sus etapas.pptx
La investigacion penal y sus etapas.pptx
 
S01_s1 - Derecho Comercial - Marzo - I - 2024 - UTP.pdf
S01_s1 - Derecho Comercial - Marzo - I - 2024 - UTP.pdfS01_s1 - Derecho Comercial - Marzo - I - 2024 - UTP.pdf
S01_s1 - Derecho Comercial - Marzo - I - 2024 - UTP.pdf
 
Conferencia ABC Corrupción Contraloria G
Conferencia ABC Corrupción Contraloria GConferencia ABC Corrupción Contraloria G
Conferencia ABC Corrupción Contraloria G
 
Casación Nro. 10171–2017-Ica-LPDerecho.pdf
Casación Nro. 10171–2017-Ica-LPDerecho.pdfCasación Nro. 10171–2017-Ica-LPDerecho.pdf
Casación Nro. 10171–2017-Ica-LPDerecho.pdf
 
Niños y jóvenes sicarios.pdfNiños y jóvenes sicarios.pdf
Niños y jóvenes sicarios.pdfNiños y jóvenes sicarios.pdfNiños y jóvenes sicarios.pdfNiños y jóvenes sicarios.pdf
Niños y jóvenes sicarios.pdfNiños y jóvenes sicarios.pdf
 
la teoría caso constitucional bien explicado.pdf
la teoría caso constitucional bien explicado.pdfla teoría caso constitucional bien explicado.pdf
la teoría caso constitucional bien explicado.pdf
 
gd-reseach-ethics-practical-guide-091120-es.pdf
gd-reseach-ethics-practical-guide-091120-es.pdfgd-reseach-ethics-practical-guide-091120-es.pdf
gd-reseach-ethics-practical-guide-091120-es.pdf
 
2 LP 2 TIPOS DE DEF Ana María Amarfil definiciones (1).pptx
2 LP 2 TIPOS DE DEF Ana María Amarfil  definiciones (1).pptx2 LP 2 TIPOS DE DEF Ana María Amarfil  definiciones (1).pptx
2 LP 2 TIPOS DE DEF Ana María Amarfil definiciones (1).pptx
 
Línea del Tiempo sobre el derecho en guatemala
Línea del Tiempo sobre el derecho en guatemalaLínea del Tiempo sobre el derecho en guatemala
Línea del Tiempo sobre el derecho en guatemala
 

TABLAS DE LA VERDAD.pptx

  • 1. TABLAS DE LA VERDAD JHON JAIRO CORTÉS MUÑOZ
  • 2. ¿Qué son? Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.1​ Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
  • 3. ¿Quién fue Charles Sanders Peirce? Charles Sanders Peirce nació en Cambridge, Massachusetts el 10 de septiembre de 1839 y falleció en Milford, Pensilvania el 19 de abril de 1914. Fue un filósofo,​ lógico y científico estadounidense. Es considerado el fundador del pragmatismo y el padre de la semiótica moderna o teoría de los signos, junto a Ferdinand de Saussure. Peirce publicó dos libros, Photometric Researches (1878) y Studies in Logic (1883), y un gran número de artículos en revistas de diferentes áreas. Sus manuscritos, una gran parte de ellos sin publicar, ocupan cerca de 80.000 páginas.
  • 4. ¿Para qué sirven las tablas de verdad? Según Wittgenstein, el método de tablas de verdad sirve para determinar las condiciones de verdad de un enunciado, es decir, su significado, en función de las condiciones de verdad de sus elementos atómicos En otras palabras, la tabla de verdad nos dice en qué situaciones el enunciado es verdadero y en cuales es falso.
  • 5. ¿Cómo se hace una tabla de verdad? el objetivo de la tabla es determinar las condiciones necesarias y suficientes de la verdad de una proposición o enunciado. Cada renglón de la tabla que hace verdadero al enunciado en cuestión determina una condición suficiente para su verdad. En cada renglón, los valores asignados a cada variable proposicional determinan una condición necesaria del renglón.
  • 6. Ejemplo Supongamos que queremos hacer la tabla de verdad del siguiente enunciado: • Si tu hermana no pasa el examen, estarás en graves problemas. • Como primer paso, identificamos las proposiciones atómicas y les asignamos una variable: • P: Tu hermana pasa el examen • Q: Estarás en graves problemas
  • 7. Proceso De esta manera, podemos formalizar (15) como (~P)⇒Q y construir su tabla de la siguiente manera: ¿Qué es lo que nos dice el primer renglón de la tabla? Nos dice que si P y Q son ambos verdaderos, (~P)⇒Q también lo es. En otras palabras, basta que “Tu hermana pasa el examen” y “Estarás en graves problemas” sean verdaderos para que “Si tu hermana no pasa el examen, estarás en graves problemas” sea verdadero.
  • 8. Proceso Es decir, la condición suficiente para que sea verdadero implica que tu hermana pase el examen y tú estés en problemas en el futuro. Lo mismo sucede con cada uno de los tres primeros renglones de la tabla (los que hacen verdaderos a (~P)⇒Q). Basta que P sea verdadero y Q falso o que P sea falso y Q verdadero para que (~P)⇒Q sea verdadero. No basta que tu hermana no pase el examen, también es necesario que tú estés en graves problemas si tu hermana no pasa el examen. Es por ello que cada renglón se lee de manera conjuntiva y el enunciado para analizar es equivalente a la disyunción de cada uno de los renglones de la tabla que lo hacen verdadero.
  • 9. Aplicaciones Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas propiedades lógicas y semánticas de enunciados del lenguaje natural o de fórmulas del lenguaje del cálculo proposicional: - Sin son tautológicas, contradictorias o contingentes - Cuáles son sus condiciones de verdad - Cuál es su rol inferencial, es decir, cuáles son sus conclusiones lógicas y de qué otras proposiciones se siguen lógicamente
  • 10. Teoría de tabla de verdad El procedimiento para construir una tabla de verdad es sencillo y relativamente mecánico; en esta plática, asumiré que todos saben ya cómo hacer una tabla de verdad para cualquier fórmula del cálculo proposicional clásico. Para aplicar el método de tablas de verdad a un enunciado o proposición, por lo tanto, es necesario primero simbolizarlo, es decir, determinar qué fórmula del lenguaje proposicional muestra su forma lógica y, luego, elaborar la tabla de verdad de dicha formula. Si al aplicar el método de tablas de verdad encontramos que una fórmula es tautológica, presumimos que ella es una verdad lógica del cálculo proposicional es decir que es lógicamente válida, lógicamente verdadera o verdadera con necesidad lógica. Por lo tanto, el uso de las tablas de verdad como métodos para demostrar que algo es lógicamente necesario presupone ciertas tesis sobre la verdad y la necesidad lógicas. Cada uno de los pasos y cada una de las características de las tablas de verdad representa una tesis lógica sustancial.
  • 11. Videos teóricos y procedimentales de refuerzo • https://www.youtube.com/watch?v=L69ygPEeq7M • https://www.youtube.com/watch?v=cLDnCprTmFE