3. OPERACIONES VERITATIVAS
Es toda operación con
proposiciones que tiene la
propiedad de que el valor
lógico de la proposición
resultante solo depende de los
valores lógicos de las
proposiciones componentes.
Ejemplos:
Marte es un Planeta y el sol es una estrella.
O Marte es un planeta o el sol es una
estrella.
TABLA DE LOS CONECTIVOS
4. CONECTIVOS LOGICOS
Sea p una proposición.
La negación de p es la
proposición ~p, que se
lee “no p”, cuyo valor
lógico está dado por la
siguiente tabla de
verdad:
Sean p y q dos
proposiciones. La
conjunción de p y q
es la proposición
p∧q, que se lee “p y
q”, y cuyo valor
lógico está dado por
la tabla siguiente:
5. CONECTIVOS LOGICOS
Sean a y b dos
proposiciones. La
disyunción de a y b es
la proposición a ∨ b ,
que se lee “a o b”, y
cuyo valor lógico está
dado por la tabla
siguiente:
Sean a y b dos
proposiciones. La
disyunción exclusiva
de a y b es la
proposición a∨b, que
se lee “o a o b”, y
cuyo valor lógico está
dada por la tabla
siguiente:
6. Sean p y q dos
proposiciones. El
condicional con
antecedente p y
consecuente q es la
proposición p→q, que
se lee ”si p entonces q”,
y cuyo valor lógico está
dado por la siguiente
tabla:
Sean p y q dos
proposiciones. Se
llama bicondicional
de p y q a la
proposición p ⟷ q,
que se lee “p si y solo
si q” y cuyo valor
lógico está dado por:
7. TABLAS DE VERDAD DE LAS FORMAS
PROPOSICIONALES
Para el cálculo del valor lógico de una forma proposicional se usan las tablas de verdad.
8. TAUTOLOGIAS Y CONTRADICCIONES
Una tautología es una forma
proposicional que es verdadera para
cualquier valor lógico que se le
asigne a sus variables
proposicionales. Esto es, una forma
proposicional es una tautología si
en su tabla de verdad, la columna
bajo su conectiva principal esta
formada sólo por “unos”
Contradicciones
Una contradicción es una forma proposicional que es
falsa para cualquier valor lógico que se le asigne a
sus variables proposicionales; o sea, si la columna
bajo su conectiva principal está formada sólo por
“ceros”
11. RAZONAMIENTOS
Un razonamiento o una inferencia
es la aseveración de que una
proposición, llamada conclusión, es
consecuencia de otras proposiciones
dadas llamadas premisas.
12. CIRCUITOS LOGICOS
Un circuito lógico es un dispositivo que tienen una o más entradas y exactamente una
salida. En cada instante cada entrada tiene un valor, 0 o 1; estos datos son procesados
por el circuito para dar un valor en su salida, 0 o 1.