El documento habla sobre conceptos básicos de lógica proposicional como proposiciones, operaciones veritativas, conectivos lógicos, tablas de verdad, tautologías, contradicciones, leyes del álgebra de proposiciones, equivalencias e implicación lógica, razonamientos y circuitos lógicos. Explica que una proposición es un juicio declarativo que puede ser verdadero o falso, pero no ambos, y que los conectivos lógicos como la negación, conjunción, disy
1. Estudiante: José G. Pérez
Materia: Estructuras Discretas
Prof.: Domingo Méndez
2. PROPOSICIONES
Una proposición es juicio
declarativo el cual tiene
sentido decir que es verdadero
o falso, pero no ambas cosas
simultáneamente.
Ejemplos:
El hidrógeno es un gas
La matemática es
exacta.
4+3=5
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.
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. CONECTIVOS LOGICOS
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.