Este documento presenta conceptos clave de lógica proposicional como operaciones veritativas, conectivos lógicos, tablas de verdad, tautologías, contradicciones y leyes del álgebra de proposiciones. Explica que las tablas de verdad muestran el valor de verdad de proposiciones compuestas para cada combinación de valores de sus componentes, y que una tautología es una proposición molecular que siempre es verdadera mientras que una contradicción siempre es falsa.

1. República Bolivariana de Venezuela
Universidad Fermín toro.
Cabudare- Estado Lara
.
Rubén Viteznik V-20.205.114
Ingeniería en Telecomunicaciones.
Estructuras Discretas I
.

2. Operaciones
Veritativas
Conectivos-
Operadores
lógicos =
Unir-construir
Proposiciones

3. Operaciones Veritativas

4. Conectores Lógicos

5. Conjunción

6. Disyunción

7. El condicional

8. EL Incondicional
Es una proposición de la forma "P si y solo
si Q",la proposición es verdadera si P como
⇔
Q son ambas ciertas o ambas falsas.

9. Tabla de Verdad
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.
Las posibilidades de combinar valores de verdad dependen del número de
proposiciones dadas.
Para una proposición (n = 1), tenemos 21 = 2
combinaciones
Para dos proposiciones (n = 2), tenemos 22 = 4
combinaciones
Para tres proposiciones (n = 3), tenemos 2 3 = 8
combinaciones
Para n proposiciones tenemos 2n combinaciones

10. TAUTOLOGÍAS Y
CONTRADICCIONES
Proposición molecular proposición molecular
que es verdadera (es que siempre es falsa
decir, todos los (es decir cuando los
valores de verdad que valores de verdad que
aparecen en su tabla aparecen en su tabla
de verdad son 1) de verdad son todos 0)
independientemente independientemente de
de los valores de sus los valores de sus
variables variables
proposicionales que la
forman
Probar que p ^ ~ p es una contradicción
P^~p
1 0 0
0 0 1

11. Leyes del Algebra de
Proposiciones

12. Existe un conjunto de equivalencias
e implicaciones lógicas que pueden
Equivalencia e Implicación
utilizarse como esquemas de
lógica
sustitución en procesos de
razonamiento, o como
esquemas de razonamientos validos
respectivamente
Razonamiento
Conclusión es consecuencia de otras
proposiciones dadas llamadas
premisas.
Un razonamiento es válido o correcto si
la conjunción de premisas implica
lógicamente la conclusión, en otro caso
se dice que es no válido.
Razonamiento que no es válido es
llamado falacia.