Tablas de-verdad-para-c++
- 1. TABLAS DE VERDAD PARA C++ Nombres: Andrea Monserrat de la cruz ramos y xahiro BarucVargas López Grado: 2°dm Especialidad: programación Materia: desarrollo de software utilizando programación estructurada Maestra: margarita romero Alvarado
- 2. ¿QUÉ SON LAS TABLAS DE VERDAD? *Las tablas de verdad son un elemento de la lógica proposicional para determinar el valor de verdad (para decir si es “cierto” o “falso”) de una proposición. Los valores de verdad posibles son dos: verdadero y falso, que también pueden expresarse como 1 y 0. Estos valores se llaman “booleanos” por el algebra de Boole, que tienen la particularidad de operar con datos binarios. Normalmente se representa el valor verdadero con la letra “V” y el valor falso con la “f”. También se usan las letras T (por “true”, que es “verdadero” en ingles) y F (por “false”, que es “falso” en ingles)
- 3. Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o falsa, según los valores de las proposiciones que la integran. Sea el caso: . Su tabla de verdad se construye de la siguiente manera: Ocho filas que responden a los casos posibles que pueden darse según el valor V o F de cada una de las proposiciones A, B, C. (Columnas 1, 2, 3) Una columna (Columna 4) en la que se establecen los valores de aplicando la definición del disyuntor a los valores de B y de C en cada una de las filas.(Columnas 2,3 → 4) Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la definición de la conjunción entre los valores de A (columna 1) y valores de la columna , (columna 4) que representarán los valores de la proposición completa , cuyo valor de verdad es V o F según la fila de los valores de A, B, y C que consideremos. (Columnas 1,4 → 5) Donde podemos comprobar cuándo y por qué la proposición es V y cuándo es F. Verdad Indeterminada o Contingencia
- 4. Verdad indeterminada o contingencia
- 5. Contradicción Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintéticas de unas con otras. Sea el caso: Procederemos de manera similar al caso anterior. Partiendo de la variable A y su contradicción, la conjunción de ambos siempre es falso, dado que si A es verdad su contradicción es falsa, y si A es falsa su contradicción es verdad, la conjunción de ambas da falso en todos los casos.
- 6. Proposición 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. Ejemplo 1: “El día esta caluroso” (será verdadero o será falso, según si el día esta o no esta caluroso). Una proposición puede ser: Atómica si no puede subdividirse, o molecular si esta compuesta por dos o mas proposiciones, unidas por un operador lógico. Ejemplo 2: Proposición atómica: “El día esta caluroso” Proposición molecular: “El día esta soleado y caluroso”. Es molecular porque puede subdividirse en dos proposiciones: “El día esta soleado” y “El día esta caluroso”.
- 7. Cuando se realizan operaciones con proposiciones, uniéndolas mediante operadores lógicos, se suele dar nombres (usualmente compuestos de una sola letra) a las proposiciones. Entonces podríamos decir que la proposición “el día esta caluroso” se va a llamar “p” y que la proposición “el di esta soleado” se va a llamar “q”. Como tenemos también una proposición molecular que se forma al unir estas dos, podemos darle el nombre “r” a la proposición “el día esta soleado y caluroso”.
- 8. Operaciones lógicas *Una operación lógica se compone de operadores. *La negación es una operación unaria, porque involucra un único operando (proposición). El resto son binarias, porque involucran dos operando. Operaciones lógicas El operador IMPLICA se representa mediante el símbolo y se usa para la operación implicación (también llamada “condicional”). A la proposición que se coloca a la izquierda del operador se le llama “antecedente” y a la que se coloca a la derecha se le llama “consecuente”. El operador BICONDICIONAL se representa mediante el símbolo y se usa para lo operación doble implicación (también llamada “equivalencia”).
- 9. Tablas de verdad de operadores lógicos
- 10. Conclusión Se emplean en lógica para determinar los posibles valores de verdad de una expresión o proposición molecular. O si un esquema de inferencia, como argumento, es formalmente valido mostrando que, efectivamente, es una tautología.