SlideShare una empresa de Scribd logo
1 de 11
TABLAS DE VERDAD.
Espinosa Olivo Karla Lizeth.
Garcia Rosales Ericka Yovanna.
Martinez Ventura Stefani.
2° Dm Programacion.
M.C.A. Margarita Romero Alvarado.
Centro de Estudios Tecnológicos Industrial y de Servicio No. 109
TABLA DE VERDAD.
• Una tabla 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
verdad que se pueda asignar
CALCULO LÓGICO
VERDADERO.
El valor verdadero se
representa con la letra V; si se
emplea notación numérica se
expresa con un uno: 1; en un
circuito eléctrico, el circuito
está cerrado.
CALCULO LÓGICO FALSO.
• El valor falso se representa con la letra F; si se emplea notación numérica se expresa
con un cero: 0; en un circuito eléctrico, el circuito está abierto.
CALCULO LÓGICO VARIABLE.
• Para una variable lógica A, B, C, ...
pueden ser verdaderas V, o falsas F, los
operadores fundamentales se definen
así:
CALCULO LÓGICO DE NEGACIÓN.
• La negación operador que se ejecuta,
sobre un único valor de verdad,
devolviendo el valor contradictorio de la
proposición considerada.
CALCULO LÓGICO
DE 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
CALCULO LÓGICO DE DISYUNCION.
• 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.
CALCULO LÓGICO DE 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.
CALCULO LÓGICO
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.
BIBLIOGRAFIA.
https://es.wikipedia.org/wiki/Tabla_de_verdad
https://es.slideshare.net/jve18/lgica-proposicional-3371398
https://es.wikipedia.org/wiki/Tabla_de_verdad#Verdadero

Más contenido relacionado

La actualidad más candente

Calculo de la inversa por determinantes
Calculo de la inversa por determinantesCalculo de la inversa por determinantes
Calculo de la inversa por determinantesCarlita Vaca
 
Calculo de la matriz inversa con de determinantes
Calculo de la matriz inversa con de determinantesCalculo de la matriz inversa con de determinantes
Calculo de la matriz inversa con de determinantesCarlita Vaca
 
OPERADORES LÓGICOS Y DE ASIGNACIÓN EN PHP
OPERADORES LÓGICOS Y DE ASIGNACIÓN EN PHPOPERADORES LÓGICOS Y DE ASIGNACIÓN EN PHP
OPERADORES LÓGICOS Y DE ASIGNACIÓN EN PHPluis_ulacio_1991
 
OPERADORES LÓGICOS Y DE ASIGNACIÓN DE PHP
OPERADORES LÓGICOS Y DE ASIGNACIÓN DE PHPOPERADORES LÓGICOS Y DE ASIGNACIÓN DE PHP
OPERADORES LÓGICOS Y DE ASIGNACIÓN DE PHPluis_ulacio_1991
 
Tablas de Verdad para C++
Tablas de Verdad para C++Tablas de Verdad para C++
Tablas de Verdad para C++Dj109
 
Tipos de operadores_para_c_ (1)
Tipos de operadores_para_c_ (1)Tipos de operadores_para_c_ (1)
Tipos de operadores_para_c_ (1)Diego Arturo
 
Qué es un pseudocódigo
Qué es un pseudocódigoQué es un pseudocódigo
Qué es un pseudocódigobucanero1
 

La actualidad más candente (15)

Tablas de Verdad para C++
Tablas de Verdad para C++Tablas de Verdad para C++
Tablas de Verdad para C++
 
Tablas de la_verdad
Tablas de la_verdadTablas de la_verdad
Tablas de la_verdad
 
Tablas de la_verdad
Tablas de la_verdadTablas de la_verdad
Tablas de la_verdad
 
Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
 
Calculo de la inversa por determinantes
Calculo de la inversa por determinantesCalculo de la inversa por determinantes
Calculo de la inversa por determinantes
 
Calculo de la matriz inversa con de determinantes
Calculo de la matriz inversa con de determinantesCalculo de la matriz inversa con de determinantes
Calculo de la matriz inversa con de determinantes
 
OPERADORES LÓGICOS Y DE ASIGNACIÓN EN PHP
OPERADORES LÓGICOS Y DE ASIGNACIÓN EN PHPOPERADORES LÓGICOS Y DE ASIGNACIÓN EN PHP
OPERADORES LÓGICOS Y DE ASIGNACIÓN EN PHP
 
OPERADORES LÓGICOS Y DE ASIGNACIÓN DE PHP
OPERADORES LÓGICOS Y DE ASIGNACIÓN DE PHPOPERADORES LÓGICOS Y DE ASIGNACIÓN DE PHP
OPERADORES LÓGICOS Y DE ASIGNACIÓN DE PHP
 
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++
 
Tipos de operadores_para_c_ (1)
Tipos de operadores_para_c_ (1)Tipos de operadores_para_c_ (1)
Tipos de operadores_para_c_ (1)
 
Tablas de verdad c++
Tablas de verdad c++Tablas de verdad c++
Tablas de verdad c++
 
Diapositivas jhannyo
Diapositivas jhannyoDiapositivas jhannyo
Diapositivas jhannyo
 
Tema1
Tema1Tema1
Tema1
 
Qué es un pseudocódigo
Qué es un pseudocódigoQué es un pseudocódigo
Qué es un pseudocódigo
 

Similar a Tablas de verdad

Similar a Tablas de verdad (20)

Tablas de verdad_programacion
Tablas de verdad_programacionTablas de verdad_programacion
Tablas de verdad_programacion
 
Tipos de Tablas de Verdad
Tipos de Tablas de VerdadTipos de Tablas de Verdad
Tipos de 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++
 
Tablas de la_verdad
Tablas de la_verdadTablas de la_verdad
Tablas de la_verdad
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Tabla de--verdad
Tabla  de--verdadTabla  de--verdad
Tabla de--verdad
 
Tabla de--verdad
Tabla  de--verdadTabla  de--verdad
Tabla de--verdad
 
Tabla de--verdad
Tabla  de--verdadTabla  de--verdad
Tabla de--verdad
 
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 de c++
Tablas de verdad de c++Tablas de verdad de c++
Tablas de verdad de 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_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_
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
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 de C++
Tablas de verdad de C++Tablas de verdad de C++
Tablas de verdad de C++
 

Más de stefanimartinezventura (20)

Practicas
PracticasPracticas
Practicas
 
Tipos de datos para c++
Tipos de datos para c++Tipos de datos para c++
Tipos de datos para c++
 
Examen corregido
Examen corregidoExamen corregido
Examen corregido
 
Cuestionario de 6temas finalizado
Cuestionario de 6temas finalizadoCuestionario de 6temas finalizado
Cuestionario de 6temas finalizado
 
Instrucciones basicas para c++
Instrucciones basicas para c++Instrucciones basicas para c++
Instrucciones basicas para c++
 
Este si
Este siEste si
Este si
 
Bibliotecas para c++
Bibliotecas para c++Bibliotecas para c++
Bibliotecas para c++
 
C++
C++C++
C++
 
1
11
1
 
Stefani(3)
Stefani(3)Stefani(3)
Stefani(3)
 
Diagramas en rap fanni
Diagramas en rap fanniDiagramas en rap fanni
Diagramas en rap fanni
 
Archivo de neo_cap2
Archivo de neo_cap2Archivo de neo_cap2
Archivo de neo_cap2
 
Diagramas en rap_melany
Diagramas en rap_melanyDiagramas en rap_melany
Diagramas en rap_melany
 
20d
20d20d
20d
 
Res prob
Res probRes prob
Res prob
 
Diagrama de flujo
Diagrama de flujoDiagrama de flujo
Diagrama de flujo
 
Diagrama de flujo
Diagrama de flujoDiagrama de flujo
Diagrama de flujo
 
Centro de estudios_tecnologicos_industrial_y_de_servicios_n
Centro de estudios_tecnologicos_industrial_y_de_servicios_nCentro de estudios_tecnologicos_industrial_y_de_servicios_n
Centro de estudios_tecnologicos_industrial_y_de_servicios_n
 
Tabla
TablaTabla
Tabla
 
Usdfuw(2)
Usdfuw(2)Usdfuw(2)
Usdfuw(2)
 

Último

Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Alejandrino Halire Ccahuana
 
PIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonablesPIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonablesYanirisBarcelDelaHoz
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptAlberto Rubio
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICAÁngel Encinas
 
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSOCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSYadi Campos
 
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfFeliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfMercedes Gonzalez
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAEl Fortí
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfAngélica Soledad Vega Ramírez
 
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxTIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxlclcarmen
 
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfFrancisco158360
 
Cuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfCuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfNancyLoaa
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptxFelicitasAsuncionDia
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioELIASAURELIOCHAVEZCA1
 
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdfMiNeyi1
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaDecaunlz
 
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.docRodneyFrankCUADROSMI
 
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...JAVIER SOLIS NOYOLA
 

Último (20)

Unidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la InvestigaciónUnidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la Investigación
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
 
PIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonablesPIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonables
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
 
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSOCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
 
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfFeliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
 
Supuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docxSupuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docx
 
Medición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptxMedición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptx
 
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxTIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
 
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
 
Cuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfCuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdf
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptx
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literario
 
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativa
 
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
 
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
 

Tablas de verdad

  • 1. TABLAS DE VERDAD. Espinosa Olivo Karla Lizeth. Garcia Rosales Ericka Yovanna. Martinez Ventura Stefani. 2° Dm Programacion. M.C.A. Margarita Romero Alvarado. Centro de Estudios Tecnológicos Industrial y de Servicio No. 109
  • 2. TABLA DE VERDAD. • Una tabla 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 verdad que se pueda asignar
  • 3. CALCULO LÓGICO VERDADERO. El valor verdadero se representa con la letra V; si se emplea notación numérica se expresa con un uno: 1; en un circuito eléctrico, el circuito está cerrado.
  • 4. CALCULO LÓGICO FALSO. • El valor falso se representa con la letra F; si se emplea notación numérica se expresa con un cero: 0; en un circuito eléctrico, el circuito está abierto.
  • 5. CALCULO LÓGICO VARIABLE. • Para una variable lógica A, B, C, ... pueden ser verdaderas V, o falsas F, los operadores fundamentales se definen así:
  • 6. CALCULO LÓGICO DE NEGACIÓN. • La negación operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.
  • 7. CALCULO LÓGICO DE 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
  • 8. CALCULO LÓGICO DE DISYUNCION. • 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.
  • 9. CALCULO LÓGICO DE 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.
  • 10. CALCULO LÓGICO 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.