El documento explica las tablas de verdad y los operadores lógicos en C++. Describe los operadores de disyunción, conjunción, negación, condicional y bicondicional, y cómo sus valores de verdad cambian según las combinaciones de valores de verdad de las proposiciones. También presenta ejemplos y cómo construir tablas de verdad para cada operador lógico.
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. Valor de verdad
• Grado de exactitud de la conclusión de un razonamiento, respecto de las posibilidades de
validez admitidas por la lógica formal; que en la lógica clásica solamente puede ser “verdadero”
o “falso”, no siendo admisible la existencia de valores de verdad intermedios, como podría ser lo
“dudoso” o lo “imposible”.
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. 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.
10. 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.
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
11. 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:
12. FORMA NORMAL 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.