Este documento explica los conceptos básicos de las tablas de verdad en lógica, incluyendo los valores de verdad, las operaciones lógicas como la disyunción, conjunción, negación, condicional y bicondicional, y cómo estas operaciones afectan los valores de verdad de las proposiciones. También proporciona ejemplos y una bibliografía para más información.
1. Tablas de verdad
para c++Alumno: armando de jesus gomez martinez
Lorely Yamileth Colunga vega
Profesora: margarita romero
Materia: desarrolla software utilizando
programación estructurada
2. introducion
en la información que verán a continuación les ayudara a como utilizar las tablas de verdad
y les enseñara para que sirven cada una
3. ¿Qué es una 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 valores de verdad que se
pueda asignar a sus componentes.
4. 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).
5. 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.
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. 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.
8. 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
9. 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.