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 valorVerdadero
con la letraV y al valor Falso con la F.También se
usan las letrasT (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. 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
6. 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.
7. 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
8. BICONDI-
CIONAL
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.
9. 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.
10. Operaciones
lógicas
Una operación lógica se compone de operandos
(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.
11. 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.
12. 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
operandos.
Además, pueden unirse más de dos
proposiciones, usando más de un operador
lógico.