SlideShare una empresa de Scribd logo
Tabla de la verdad
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.
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que
introdujo Ludwig Wittgenstein en 1921.
Para establecer un Sistema formal se establecen las definiciones de los operadores. Las definiciones se
harán en función del fin que se pretenda al construir el sistema que haga posible la formalización de
argumentos:
Verdad
El valor verdadero se representa con la letra V; si se
emplea notación numérica se expresa con un uno: 1
Falso
El valor falso F; si se emplea notación numérica se
expresa con un cero: 0
Variable
Para una variable lógica A, B, C, ... pueden ser verdaderas V, o falsas F, los operadores fundamentales
se definen así:
Negación
La negación operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor
contradictorio de la proposición considerada.
Conjunción
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.
Disyunción
La disyunción es un operador lógico que actúa 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.
En términos mas simples, será verdadera cuando por lo menos una de las proposiciones es
verdadera de lo contrario será falsa.
Implicación o Condicional
El condicional material es un operador que actúa sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando la primera
proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
Equivalencia, doble implicación o Bicondicional
El bicondicional o doble implicación es un operador que funciona dando el valor de verdad cuando
ambos valores son iguales y dando el valor de falsedad cuando ambos valores son diferentes.

Más contenido relacionado

La actualidad más candente

Diego alexis2
Diego alexis2Diego alexis2
Diego alexis2
diegobailachido
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
Leonardo Torres
 
Fracciones
Fracciones Fracciones
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
Chistian Hernandez
 
Tablas de Verdad
Tablas de VerdadTablas de Verdad
Tablas de Verdad
Michelle Peña
 
Tablas de verdad_c_
Tablas de verdad_c_Tablas de verdad_c_
Tablas de verdad_c_
laura cortez
 
Tabalas de verdad
Tabalas de verdadTabalas de verdad
Tabalas de verdad
Grisel Hernández
 
Tablas de verdad para C++
Tablas de verdad para C++Tablas de verdad para C++
Tablas de verdad para C++
claravianeybadillodelangel
 
Algebra001
Algebra001Algebra001
Algebra001
jose-luis-mogollon
 
Conceptos de matriz blog
Conceptos de matriz blogConceptos de matriz blog
Conceptos de matriz blog
Daniel Garcia
 
Ejercicio limites infinitos y límites al infinito jose castillo
Ejercicio limites infinitos y límites al infinito jose castilloEjercicio limites infinitos y límites al infinito jose castillo
Ejercicio limites infinitos y límites al infinito jose castillo
josecastillo1993
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
Michelle Peña
 
B rayam estructura 1
B rayam  estructura 1B rayam  estructura 1
B rayam estructura 1
Irmina Castañeda Pérez
 

La actualidad más candente (13)

Diego alexis2
Diego alexis2Diego alexis2
Diego alexis2
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Fracciones
Fracciones Fracciones
Fracciones
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Tablas de Verdad
Tablas de VerdadTablas de Verdad
Tablas de Verdad
 
Tablas de verdad_c_
Tablas de verdad_c_Tablas de verdad_c_
Tablas de verdad_c_
 
Tabalas de verdad
Tabalas de verdadTabalas de verdad
Tabalas de verdad
 
Tablas de verdad para C++
Tablas de verdad para C++Tablas de verdad para C++
Tablas de verdad para C++
 
Algebra001
Algebra001Algebra001
Algebra001
 
Conceptos de matriz blog
Conceptos de matriz blogConceptos de matriz blog
Conceptos de matriz blog
 
Ejercicio limites infinitos y límites al infinito jose castillo
Ejercicio limites infinitos y límites al infinito jose castilloEjercicio limites infinitos y límites al infinito jose castillo
Ejercicio limites infinitos y límites al infinito jose castillo
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
B rayam estructura 1
B rayam  estructura 1B rayam  estructura 1
B rayam estructura 1
 

Similar a Tablas de la_verdad

Tablas de verdad_c_
Tablas de verdad_c_Tablas de verdad_c_
Tablas de verdad_c_
Maztherprozh
 
Tablas de verdad_c_
Tablas de verdad_c_Tablas de verdad_c_
Tablas de verdad_c_
Maztherprozh
 
TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++
GabrielFVilla15
 
TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++
JazminIbarra1106
 
Tablas de verdad de c++
Tablas de verdad de c++Tablas de verdad de c++
Tablas de verdad de c++
MaryferGaitan
 
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
Mena75
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad_programacion
Tablas de verdad_programacionTablas de verdad_programacion
Tablas de verdad_programacion
Rosario Garcia Ruiz
 
Tablas de verdad_programacion2 (1)
Tablas de verdad_programacion2 (1)Tablas de verdad_programacion2 (1)
Tablas de verdad_programacion2 (1)
Rosario Garcia Ruiz
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
MichelleEspinosa02
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
LuisFrancisco02
 
Proposiciones
ProposicionesProposiciones
Tablas de verdad_para_C++
Tablas de verdad_para_C++Tablas de verdad_para_C++
Tablas de verdad_para_C++
Oziel Solis Juarez
 
TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++
Idalia Tristan
 
Tablas de verdad_c_
Tablas de verdad_c_Tablas de verdad_c_
Tablas de verdad_c_
Idalia Tristan
 
Presentación logica
Presentación logicaPresentación logica
Presentación logica
Jorge Alvarado Aguilera
 
Tablas de verdad el surgimiento de los hibridos
Tablas de verdad el surgimiento de los hibridosTablas de verdad el surgimiento de los hibridos
Tablas de verdad el surgimiento de los hibridos
Gustavo Castillo
 
tablas de verdad
tablas de verdadtablas de verdad
tablas de verdad
Gustavo Castillo
 
Tablas de verdad_c_++
Tablas de verdad_c_++Tablas de verdad_c_++
Tablas de verdad_c_++
MartinCetis109
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
yeliadan_16
 

Similar a Tablas de la_verdad (20)

Tablas de verdad_c_
Tablas de verdad_c_Tablas de verdad_c_
Tablas de verdad_c_
 
Tablas de verdad_c_
Tablas de verdad_c_Tablas de verdad_c_
Tablas de verdad_c_
 
TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++
 
TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++
 
Tablas de verdad de c++
Tablas de verdad de c++Tablas de verdad de c++
Tablas de verdad de c++
 
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Tablas de verdad_programacion
Tablas de verdad_programacionTablas de verdad_programacion
Tablas de verdad_programacion
 
Tablas de verdad_programacion2 (1)
Tablas de verdad_programacion2 (1)Tablas de verdad_programacion2 (1)
Tablas de verdad_programacion2 (1)
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Tablas de verdad_para_C++
Tablas de verdad_para_C++Tablas de verdad_para_C++
Tablas de verdad_para_C++
 
TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++
 
Tablas de verdad_c_
Tablas de verdad_c_Tablas de verdad_c_
Tablas de verdad_c_
 
Presentación logica
Presentación logicaPresentación logica
Presentación logica
 
Tablas de verdad el surgimiento de los hibridos
Tablas de verdad el surgimiento de los hibridosTablas de verdad el surgimiento de los hibridos
Tablas de verdad el surgimiento de los hibridos
 
tablas de verdad
tablas de verdadtablas de verdad
tablas de verdad
 
Tablas de verdad_c_++
Tablas de verdad_c_++Tablas de verdad_c_++
Tablas de verdad_c_++
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 

Más de FaridCastillo2

Tipos de datos_utilizados_en_lenguaje_c
Tipos de datos_utilizados_en_lenguaje_cTipos de datos_utilizados_en_lenguaje_c
Tipos de datos_utilizados_en_lenguaje_c
FaridCastillo2
 
Resolver problemas con_una_computadora
Resolver problemas con_una_computadoraResolver problemas con_una_computadora
Resolver problemas con_una_computadora
FaridCastillo2
 
Tipos de programacion
Tipos de programacionTipos de programacion
Tipos de programacion
FaridCastillo2
 
Que es-un-lenguaje-de-programacion
Que es-un-lenguaje-de-programacionQue es-un-lenguaje-de-programacion
Que es-un-lenguaje-de-programacion
FaridCastillo2
 
Trabajo tic
Trabajo ticTrabajo tic
Trabajo tic
FaridCastillo2
 
Linea del tiempo
Linea del tiempoLinea del tiempo
Linea del tiempo
FaridCastillo2
 
Ley de los_signos
Ley de los_signosLey de los_signos
Ley de los_signos
FaridCastillo2
 

Más de FaridCastillo2 (7)

Tipos de datos_utilizados_en_lenguaje_c
Tipos de datos_utilizados_en_lenguaje_cTipos de datos_utilizados_en_lenguaje_c
Tipos de datos_utilizados_en_lenguaje_c
 
Resolver problemas con_una_computadora
Resolver problemas con_una_computadoraResolver problemas con_una_computadora
Resolver problemas con_una_computadora
 
Tipos de programacion
Tipos de programacionTipos de programacion
Tipos de programacion
 
Que es-un-lenguaje-de-programacion
Que es-un-lenguaje-de-programacionQue es-un-lenguaje-de-programacion
Que es-un-lenguaje-de-programacion
 
Trabajo tic
Trabajo ticTrabajo tic
Trabajo tic
 
Linea del tiempo
Linea del tiempoLinea del tiempo
Linea del tiempo
 
Ley de los_signos
Ley de los_signosLey de los_signos
Ley de los_signos
 

Último

Vitamina c hecho por Valeria montes xdxd
Vitamina c  hecho por Valeria montes xdxdVitamina c  hecho por Valeria montes xdxd
Vitamina c hecho por Valeria montes xdxd
valeriamontes34
 
Minerales en la tierra (corteza terrestre y océanos)
Minerales en la tierra (corteza terrestre y océanos)Minerales en la tierra (corteza terrestre y océanos)
Minerales en la tierra (corteza terrestre y océanos)
JUANCAMILOCAROORJUEL
 
GUIA DE PIMCE_0 MODULO DEL CURSO (1).pdf
GUIA DE PIMCE_0  MODULO DEL CURSO (1).pdfGUIA DE PIMCE_0  MODULO DEL CURSO (1).pdf
GUIA DE PIMCE_0 MODULO DEL CURSO (1).pdf
ANELLARA1
 
Biodiversidad, Flora-y-Fauna de Bolivia.pdf
Biodiversidad, Flora-y-Fauna de Bolivia.pdfBiodiversidad, Flora-y-Fauna de Bolivia.pdf
Biodiversidad, Flora-y-Fauna de Bolivia.pdf
reedrichards393
 
IMPRESION TRIPTICO DE RESIDUOS SOLIDOS EN ABANCAY
IMPRESION TRIPTICO DE RESIDUOS SOLIDOS EN ABANCAYIMPRESION TRIPTICO DE RESIDUOS SOLIDOS EN ABANCAY
IMPRESION TRIPTICO DE RESIDUOS SOLIDOS EN ABANCAY
yober ccayhuari aguirre
 
La-fotosintesis-Fase-luminosa-y-oscura.pptx
La-fotosintesis-Fase-luminosa-y-oscura.pptxLa-fotosintesis-Fase-luminosa-y-oscura.pptx
La-fotosintesis-Fase-luminosa-y-oscura.pptx
ratatuielmastui123
 
ANIMALES VERTEBRADOS ANIMALES VERTEBRADOS.pdf
ANIMALES VERTEBRADOS ANIMALES VERTEBRADOS.pdfANIMALES VERTEBRADOS ANIMALES VERTEBRADOS.pdf
ANIMALES VERTEBRADOS ANIMALES VERTEBRADOS.pdf
SkyBlue578874
 
elementos del clima y sus instrumentos de medicion
elementos del clima y sus instrumentos de medicionelementos del clima y sus instrumentos de medicion
elementos del clima y sus instrumentos de medicion
EpifaniaSilvaTarazon
 
FISIOLOGIA DIGESTIVA AVESTRUZ-CONEJO-BUFALO DIAPOSITIVAS.pptx
FISIOLOGIA DIGESTIVA AVESTRUZ-CONEJO-BUFALO DIAPOSITIVAS.pptxFISIOLOGIA DIGESTIVA AVESTRUZ-CONEJO-BUFALO DIAPOSITIVAS.pptx
FISIOLOGIA DIGESTIVA AVESTRUZ-CONEJO-BUFALO DIAPOSITIVAS.pptx
MichaelVlezLpez
 
Principios-Ambientales-en-la-Constitucion-del-Ecuador.pptx
Principios-Ambientales-en-la-Constitucion-del-Ecuador.pptxPrincipios-Ambientales-en-la-Constitucion-del-Ecuador.pptx
Principios-Ambientales-en-la-Constitucion-del-Ecuador.pptx
AliTatty
 
Estudio de los microorganismos en ambientes extremos
Estudio de los microorganismos en ambientes extremosEstudio de los microorganismos en ambientes extremos
Estudio de los microorganismos en ambientes extremos
vazquezivanna01
 
FICHAS TECNICAS Plantas VITACURA,Chile 2022
FICHAS TECNICAS Plantas VITACURA,Chile 2022FICHAS TECNICAS Plantas VITACURA,Chile 2022
FICHAS TECNICAS Plantas VITACURA,Chile 2022
Estefanía Sinde
 
ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual
ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrualciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual
ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual
vaquitaubateclase
 
trabalhodegeografiadaleticia.pdfcomtranferenciaparapptx
trabalhodegeografiadaleticia.pdfcomtranferenciaparapptxtrabalhodegeografiadaleticia.pdfcomtranferenciaparapptx
trabalhodegeografiadaleticia.pdfcomtranferenciaparapptx
Kauanny9
 
1.1 Recursos Energéticos y recurso naturales
1.1 Recursos Energéticos y recurso naturales1.1 Recursos Energéticos y recurso naturales
1.1 Recursos Energéticos y recurso naturales
Efrain Yungan
 
Calendario-Biodinámico pa ra cultivos en el agro
Calendario-Biodinámico pa ra cultivos en el agroCalendario-Biodinámico pa ra cultivos en el agro
Calendario-Biodinámico pa ra cultivos en el agro
davidandresestradaca
 
CURSO EN PRODUCCION DE TRUCHA ARCO IRIS.
CURSO EN PRODUCCION DE TRUCHA ARCO IRIS.CURSO EN PRODUCCION DE TRUCHA ARCO IRIS.
CURSO EN PRODUCCION DE TRUCHA ARCO IRIS.
YenyAliaga
 
GRUPO 2 - Cuadro comparativo (bacteria, hongo y virus).pdf
GRUPO 2 - Cuadro comparativo (bacteria, hongo y virus).pdfGRUPO 2 - Cuadro comparativo (bacteria, hongo y virus).pdf
GRUPO 2 - Cuadro comparativo (bacteria, hongo y virus).pdf
sharonhuiza
 
Descripción árboles nativos de Chile.pptx
Descripción árboles nativos de Chile.pptxDescripción árboles nativos de Chile.pptx
Descripción árboles nativos de Chile.pptx
MauricioChvezParra
 
Presentación ecotecnología muros verdes .pdf
Presentación ecotecnología muros verdes .pdfPresentación ecotecnología muros verdes .pdf
Presentación ecotecnología muros verdes .pdf
MILAGROSCANDELARIARO
 

Último (20)

Vitamina c hecho por Valeria montes xdxd
Vitamina c  hecho por Valeria montes xdxdVitamina c  hecho por Valeria montes xdxd
Vitamina c hecho por Valeria montes xdxd
 
Minerales en la tierra (corteza terrestre y océanos)
Minerales en la tierra (corteza terrestre y océanos)Minerales en la tierra (corteza terrestre y océanos)
Minerales en la tierra (corteza terrestre y océanos)
 
GUIA DE PIMCE_0 MODULO DEL CURSO (1).pdf
GUIA DE PIMCE_0  MODULO DEL CURSO (1).pdfGUIA DE PIMCE_0  MODULO DEL CURSO (1).pdf
GUIA DE PIMCE_0 MODULO DEL CURSO (1).pdf
 
Biodiversidad, Flora-y-Fauna de Bolivia.pdf
Biodiversidad, Flora-y-Fauna de Bolivia.pdfBiodiversidad, Flora-y-Fauna de Bolivia.pdf
Biodiversidad, Flora-y-Fauna de Bolivia.pdf
 
IMPRESION TRIPTICO DE RESIDUOS SOLIDOS EN ABANCAY
IMPRESION TRIPTICO DE RESIDUOS SOLIDOS EN ABANCAYIMPRESION TRIPTICO DE RESIDUOS SOLIDOS EN ABANCAY
IMPRESION TRIPTICO DE RESIDUOS SOLIDOS EN ABANCAY
 
La-fotosintesis-Fase-luminosa-y-oscura.pptx
La-fotosintesis-Fase-luminosa-y-oscura.pptxLa-fotosintesis-Fase-luminosa-y-oscura.pptx
La-fotosintesis-Fase-luminosa-y-oscura.pptx
 
ANIMALES VERTEBRADOS ANIMALES VERTEBRADOS.pdf
ANIMALES VERTEBRADOS ANIMALES VERTEBRADOS.pdfANIMALES VERTEBRADOS ANIMALES VERTEBRADOS.pdf
ANIMALES VERTEBRADOS ANIMALES VERTEBRADOS.pdf
 
elementos del clima y sus instrumentos de medicion
elementos del clima y sus instrumentos de medicionelementos del clima y sus instrumentos de medicion
elementos del clima y sus instrumentos de medicion
 
FISIOLOGIA DIGESTIVA AVESTRUZ-CONEJO-BUFALO DIAPOSITIVAS.pptx
FISIOLOGIA DIGESTIVA AVESTRUZ-CONEJO-BUFALO DIAPOSITIVAS.pptxFISIOLOGIA DIGESTIVA AVESTRUZ-CONEJO-BUFALO DIAPOSITIVAS.pptx
FISIOLOGIA DIGESTIVA AVESTRUZ-CONEJO-BUFALO DIAPOSITIVAS.pptx
 
Principios-Ambientales-en-la-Constitucion-del-Ecuador.pptx
Principios-Ambientales-en-la-Constitucion-del-Ecuador.pptxPrincipios-Ambientales-en-la-Constitucion-del-Ecuador.pptx
Principios-Ambientales-en-la-Constitucion-del-Ecuador.pptx
 
Estudio de los microorganismos en ambientes extremos
Estudio de los microorganismos en ambientes extremosEstudio de los microorganismos en ambientes extremos
Estudio de los microorganismos en ambientes extremos
 
FICHAS TECNICAS Plantas VITACURA,Chile 2022
FICHAS TECNICAS Plantas VITACURA,Chile 2022FICHAS TECNICAS Plantas VITACURA,Chile 2022
FICHAS TECNICAS Plantas VITACURA,Chile 2022
 
ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual
ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrualciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual
ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual ciclo menstrual
 
trabalhodegeografiadaleticia.pdfcomtranferenciaparapptx
trabalhodegeografiadaleticia.pdfcomtranferenciaparapptxtrabalhodegeografiadaleticia.pdfcomtranferenciaparapptx
trabalhodegeografiadaleticia.pdfcomtranferenciaparapptx
 
1.1 Recursos Energéticos y recurso naturales
1.1 Recursos Energéticos y recurso naturales1.1 Recursos Energéticos y recurso naturales
1.1 Recursos Energéticos y recurso naturales
 
Calendario-Biodinámico pa ra cultivos en el agro
Calendario-Biodinámico pa ra cultivos en el agroCalendario-Biodinámico pa ra cultivos en el agro
Calendario-Biodinámico pa ra cultivos en el agro
 
CURSO EN PRODUCCION DE TRUCHA ARCO IRIS.
CURSO EN PRODUCCION DE TRUCHA ARCO IRIS.CURSO EN PRODUCCION DE TRUCHA ARCO IRIS.
CURSO EN PRODUCCION DE TRUCHA ARCO IRIS.
 
GRUPO 2 - Cuadro comparativo (bacteria, hongo y virus).pdf
GRUPO 2 - Cuadro comparativo (bacteria, hongo y virus).pdfGRUPO 2 - Cuadro comparativo (bacteria, hongo y virus).pdf
GRUPO 2 - Cuadro comparativo (bacteria, hongo y virus).pdf
 
Descripción árboles nativos de Chile.pptx
Descripción árboles nativos de Chile.pptxDescripción árboles nativos de Chile.pptx
Descripción árboles nativos de Chile.pptx
 
Presentación ecotecnología muros verdes .pdf
Presentación ecotecnología muros verdes .pdfPresentación ecotecnología muros verdes .pdf
Presentación ecotecnología muros verdes .pdf
 

Tablas de la_verdad

  • 1. Tabla de la verdad
  • 2. 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. Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en 1921.
  • 3. Para establecer un Sistema formal se establecen las definiciones de los operadores. Las definiciones se harán en función del fin que se pretenda al construir el sistema que haga posible la formalización de argumentos: Verdad El valor verdadero se representa con la letra V; si se emplea notación numérica se expresa con un uno: 1 Falso El valor falso F; si se emplea notación numérica se expresa con un cero: 0
  • 4. Variable Para una variable lógica A, B, C, ... pueden ser verdaderas V, o falsas F, los operadores fundamentales se definen así: Negación La negación operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.
  • 5. Conjunción 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.
  • 6. Disyunción La disyunción es un operador lógico que actúa 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. En términos mas simples, será verdadera cuando por lo menos una de las proposiciones es verdadera de lo contrario será falsa.
  • 7. Implicación o Condicional El condicional material es un operador que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
  • 8. Equivalencia, doble implicación o Bicondicional El bicondicional o doble implicación es un operador que funciona dando el valor de verdad cuando ambos valores son iguales y dando el valor de falsedad cuando ambos valores son diferentes.