SlideShare una empresa de Scribd logo
1 de 18
TABLAS 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 valores de verdad que se pueda asignar a sus
componentes.
VALORES DE VERDAD
 Los valores de verdad posibles son dos: verdadero y falso, pueden
expresarse como 1 y 0.
 Normalmente se representa al valor Verdadero con la letra V y al valor
Falso con la F. También se usan las letras T (por “true”, “verdadero” en
inglés) y F (por “false”, “falso” en inglés).
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.
EJEMPLOS
 p v q (se lee: ” p o q”) 1# p = ” El numero 2 es par” q = ” la suma de 2 + 2
es 4″ entonces… pvq: “El numero 2 es par o la suma de 2 + 2 es 4″
 2# p = ” La raíz cuadrada del 4 es 2” q = ” El numero 3 es par″ entonces…
pvq: “La raíz cuadrada del 4 es 2 o el numero 3 es par”
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
EJEMPLOS
 p ^ q (se lee: ” p y q”) 1# p = ” El numero 4 es par” q = ”Siempre el residuo
de los números pares es 2″ entonces…
 p^q: “El numero 4 es par y Siempre el residuo de los números pares es 2″
 2# p = ” El numero mas grande es el 34” q = ”El triangulo tiene 3 lados″
entonces… p^q: “El numero mas grande es el 34 y El triangulo tiene 3
lados” NEG
NEGACIÓN
 La característica de la negación es que invierte el valor de verdad de la
proposición. La negación es un operador que se ejecuta sobre un único
valor de verdad, devolviendo el valor contradictorio de la proposición
considerada. Consiste en cambiar el valor de verdad de una variable
proposicional.
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, y verdadero 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
BICONDICIONA
 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.
PROPOSICIÓN
 Una proposición sólo puede ostentar uno de ellos (ni los dos a la vez, ni
ninguno de ellos). Estos valores se llaman “booleanos” Una proposición
es una afirmación capaz de tener un valor de verdad. Es decir, una oración
de la cual se puede decir que es verdadera o que es falsa.
Operaciones lógicas
 Una operación lógica se compone de operando (proposiciones) y
operadores. Mediante una operación lógica se unen proposiciones para
obtener una nueva proposición compuesta.
 Los operadores lógicos (también llamados “conectores lógicos”) usados
para unir proposiciones son: AND (“y”), OR (“o”), NOT (“no”), IMPLICA,
BICONDICIONAL (“si y sólo si”). Mediante ellos se forman proposiciones
moleculares.
Operaciones lógicas
 El operador OR se representa mediante el símbolo ∨ y se utiliza para la
operación disyunción.
 El operador NOT se representa mediante el símbolo ¬ y se utiliza para la
operación negación.
 El operador IMPLICA se representa mediante el símbolo ⇒ y se usa para la
operación implicación operador se la llama “antecedente” y a la que se
coloca a la derecha de la llama “consecuente“. Esta operación no es
conmutativa.
Operaciones lógicas
 El operador BICONDICIONAL se representa mediante el símbolo ⇔ y se
usa para la operación doble implicación (también llamada “equivalencia“).
 La negación es una operación unaria, porque involucra un único operando
(proposición). El resto son binarias, porque involucran dos operando.
 Además, pueden unirse más de dos proposiciones, usando más de un
operador lógico. Tabla de verdad
Tabla de verdad de cada operador
lógico
 Lógicos unen los operadores proposiciones. Entonces, al unir dos
proposiciones, se obtiene una nueva proposición, cuyo valor de verdad
dependerá de cuáles son concretamente los valores de verdad de las
proposiciones unidas
 Las tablas de las operaciones, de acuerdo a las distintas posibles
combinaciones de los valores de verdad de los operando, son las
siguientes:
EQUIVALENCIAS LOGICAS
 Una equivalencia lógica es una similitud en grados de verdad existen entre
2 o mas expresiones, siendo cualquiera de ellas validas; es decir cualquiera
de estas puede ser usada en la demostración de un sujeto, sin que ello
implique variación en el resultado final por el cambio o sustitución de
cualquiera de ellas.
 La demostración de equivalencias mas comúnmente usada es mediante el
método de tablas de verdad.
FORMA NORMA CONJUNTIVA A
TRAVÉS DE MANIPULACIONES
ALGEBRAICAS
 1._Eliminar todas las ‘’y’’
 2._Si la expresión contiene cualquiera sobrexpresión compuesta negada
elimínela.
 3._Una vez encontrada una expresión sin ninguna sobrexpresión
compuesta negada, use las 2 leyes siguientes para reducir el alcance de V.
CONCLUSIÓN
 Podemos concluir que una tabla de verdad de un enunciado (molecular)
muestra el valor de verdad de dicho enunciado para todas las posibles
combinaciones de los valores de verdad de las proposiciones que lo
componen, o de manera más breve, una tabla de verdad de un enunciado
muestra el valor de verdad de dicho enunciado para todas sus
interpretaciones.
 Mena Ramírez Roberto Michell y Gaitan Velazquez Maryfer

Más contenido relacionado

La actualidad más candente

Tablas de Verdad para C++
Tablas de Verdad para C++Tablas de Verdad para C++
Tablas de Verdad para C++Dj109
 
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_oscar020615
 
Elementos de lógica
Elementos de lógicaElementos de lógica
Elementos de lógicaJosué Zapeta
 
Formas Indeterminadas
Formas IndeterminadasFormas Indeterminadas
Formas IndeterminadasyuoscaryPY
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicionalandres gonzalez
 

La actualidad más candente (13)

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-para-c (1)
Tablas de-verdad-para-c (1)Tablas de-verdad-para-c (1)
Tablas de-verdad-para-c (1)
 
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_para_c_
Tablas de verdad_para_c_Tablas de verdad_para_c_
Tablas de verdad_para_c_
 
Elementos de lógica
Elementos de lógicaElementos de lógica
Elementos de lógica
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Formas Indeterminadas
Formas IndeterminadasFormas Indeterminadas
Formas Indeterminadas
 
Calculo cap 3
Calculo cap 3 Calculo cap 3
Calculo cap 3
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Funciones excel
Funciones excelFunciones excel
Funciones excel
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 

Similar a Tablas de verdad de c++ (20)

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++
 
Tabla de--verdad
Tabla  de--verdadTabla  de--verdad
Tabla de--verdad
 
Tabla de--verdad
Tabla  de--verdadTabla  de--verdad
Tabla de--verdad
 
Tablas de verdad_para_c_(2)
Tablas de verdad_para_c_(2)Tablas de verdad_para_c_(2)
Tablas de verdad_para_c_(2)
 
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_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 la_verdad
Tablas de la_verdadTablas de la_verdad
Tablas de la_verdad
 
Tablas de verdad_para_c_pre (1)
Tablas de verdad_para_c_pre (1)Tablas de verdad_para_c_pre (1)
Tablas de verdad_para_c_pre (1)
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
B rayam estructura 1
B rayam  estructura 1B rayam  estructura 1
B rayam estructura 1
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Tipos de Tablas de Verdad
Tipos de Tablas de VerdadTipos de Tablas de Verdad
Tipos de Tablas de Verdad
 
Tipos de tabla_de_verdad
Tipos de tabla_de_verdadTipos de tabla_de_verdad
Tipos de tabla_de_verdad
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
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
 

Más de MaryferGaitan (20)

Diversidad de topologias(2)
Diversidad de topologias(2)Diversidad de topologias(2)
Diversidad de topologias(2)
 
Investigacion de paginas_web(2)i
Investigacion de paginas_web(2)iInvestigacion de paginas_web(2)i
Investigacion de paginas_web(2)i
 
Teoria
TeoriaTeoria
Teoria
 
Capitulo 10
Capitulo 10Capitulo 10
Capitulo 10
 
Capitulo 9
Capitulo 9Capitulo 9
Capitulo 9
 
Capitulo 8
Capitulo 8Capitulo 8
Capitulo 8
 
Capitulo 7
Capitulo 7Capitulo 7
Capitulo 7
 
Capitulo 6
Capitulo 6Capitulo 6
Capitulo 6
 
Capitulo 5
Capitulo 5Capitulo 5
Capitulo 5
 
Capitulo 4
Capitulo 4Capitulo 4
Capitulo 4
 
Capitulo 3
Capitulo 3Capitulo 3
Capitulo 3
 
Capitulo 2
Capitulo 2Capitulo 2
Capitulo 2
 
Capitulo 1
Capitulo 1Capitulo 1
Capitulo 1
 
Cap5
Cap5Cap5
Cap5
 
Cap14
Cap14Cap14
Cap14
 
Cap13
Cap13Cap13
Cap13
 
Cap12
Cap12Cap12
Cap12
 
Cap11
Cap11Cap11
Cap11
 
Cap10
Cap10Cap10
Cap10
 
Cap9
Cap9Cap9
Cap9
 

Último

Introducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleIntroducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleJonathanCovena1
 
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
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosCesarFernandez937857
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxlclcarmen
 
Factores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamicaFactores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamicaFlor Idalia Espinoza Ortega
 
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
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADOJosé Luis Palma
 
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
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMarjorie Burga
 
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
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuaDANNYISAACCARVAJALGA
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFAROJosé Luis Palma
 
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
 
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
 
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSTEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSjlorentemartos
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxAna Fernandez
 
Herramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfHerramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfMARIAPAULAMAHECHAMOR
 
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
 
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
 

Último (20)

Introducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleIntroducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo Sostenible
 
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
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos Básicos
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
 
Factores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamicaFactores ecosistemas: interacciones, energia y dinamica
Factores ecosistemas: interacciones, energia y dinamica
 
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
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
 
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
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grande
 
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
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahua
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
 
Defendamos la verdad. La defensa es importante.
Defendamos la verdad. La defensa es importante.Defendamos la verdad. La defensa es importante.
Defendamos la verdad. La defensa es importante.
 
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
 
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.
 
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSTEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docx
 
Herramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfHerramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdf
 
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
 
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
 

Tablas de verdad de c++

  • 1.
  • 2. TABLAS 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 valores de verdad que se pueda asignar a sus componentes.
  • 3. VALORES DE VERDAD  Los valores de verdad posibles son dos: verdadero y falso, pueden expresarse como 1 y 0.  Normalmente se representa al valor Verdadero con la letra V y al valor Falso con la F. También se usan las letras T (por “true”, “verdadero” en inglés) y F (por “false”, “falso” en inglés).
  • 4. 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.
  • 5. EJEMPLOS  p v q (se lee: ” p o q”) 1# p = ” El numero 2 es par” q = ” la suma de 2 + 2 es 4″ entonces… pvq: “El numero 2 es par o la suma de 2 + 2 es 4″  2# p = ” La raíz cuadrada del 4 es 2” q = ” El numero 3 es par″ entonces… pvq: “La raíz cuadrada del 4 es 2 o el numero 3 es par”
  • 6. 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
  • 7. EJEMPLOS  p ^ q (se lee: ” p y q”) 1# p = ” El numero 4 es par” q = ”Siempre el residuo de los números pares es 2″ entonces…  p^q: “El numero 4 es par y Siempre el residuo de los números pares es 2″  2# p = ” El numero mas grande es el 34” q = ”El triangulo tiene 3 lados″ entonces… p^q: “El numero mas grande es el 34 y El triangulo tiene 3 lados” NEG
  • 8. NEGACIÓN  La característica de la negación es que invierte el valor de verdad de la proposición. La negación es un operador que se ejecuta sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada. Consiste en cambiar el valor de verdad de una variable proposicional.
  • 9. 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, y verdadero 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
  • 10. BICONDICIONA  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.
  • 11. PROPOSICIÓN  Una proposición sólo puede ostentar uno de ellos (ni los dos a la vez, ni ninguno de ellos). Estos valores se llaman “booleanos” Una proposición es una afirmación capaz de tener un valor de verdad. Es decir, una oración de la cual se puede decir que es verdadera o que es falsa.
  • 12. Operaciones lógicas  Una operación lógica se compone de operando (proposiciones) y operadores. Mediante una operación lógica se unen proposiciones para obtener una nueva proposición compuesta.  Los operadores lógicos (también llamados “conectores lógicos”) usados para unir proposiciones son: AND (“y”), OR (“o”), NOT (“no”), IMPLICA, BICONDICIONAL (“si y sólo si”). Mediante ellos se forman proposiciones moleculares.
  • 13. Operaciones lógicas  El operador OR se representa mediante el símbolo ∨ y se utiliza para la operación disyunción.  El operador NOT se representa mediante el símbolo ¬ y se utiliza para la operación negación.  El operador IMPLICA se representa mediante el símbolo ⇒ y se usa para la operación implicación operador se la llama “antecedente” y a la que se coloca a la derecha de la llama “consecuente“. Esta operación no es conmutativa.
  • 14. Operaciones lógicas  El operador BICONDICIONAL se representa mediante el símbolo ⇔ y se usa para la operación doble implicación (también llamada “equivalencia“).  La negación es una operación unaria, porque involucra un único operando (proposición). El resto son binarias, porque involucran dos operando.  Además, pueden unirse más de dos proposiciones, usando más de un operador lógico. Tabla de verdad
  • 15. Tabla de verdad de cada operador lógico  Lógicos unen los operadores proposiciones. Entonces, al unir dos proposiciones, se obtiene una nueva proposición, cuyo valor de verdad dependerá de cuáles son concretamente los valores de verdad de las proposiciones unidas  Las tablas de las operaciones, de acuerdo a las distintas posibles combinaciones de los valores de verdad de los operando, son las siguientes:
  • 16. EQUIVALENCIAS LOGICAS  Una equivalencia lógica es una similitud en grados de verdad existen entre 2 o mas expresiones, siendo cualquiera de ellas validas; es decir cualquiera de estas puede ser usada en la demostración de un sujeto, sin que ello implique variación en el resultado final por el cambio o sustitución de cualquiera de ellas.  La demostración de equivalencias mas comúnmente usada es mediante el método de tablas de verdad.
  • 17. FORMA NORMA CONJUNTIVA A TRAVÉS DE MANIPULACIONES ALGEBRAICAS  1._Eliminar todas las ‘’y’’  2._Si la expresión contiene cualquiera sobrexpresión compuesta negada elimínela.  3._Una vez encontrada una expresión sin ninguna sobrexpresión compuesta negada, use las 2 leyes siguientes para reducir el alcance de V.
  • 18. CONCLUSIÓN  Podemos concluir que una tabla de verdad de un enunciado (molecular) muestra el valor de verdad de dicho enunciado para todas las posibles combinaciones de los valores de verdad de las proposiciones que lo componen, o de manera más breve, una tabla de verdad de un enunciado muestra el valor de verdad de dicho enunciado para todas sus interpretaciones.  Mena Ramírez Roberto Michell y Gaitan Velazquez Maryfer