1. República Bolivariana de Venezuela
Ministerio de Educación Superior
Universidad Fermín Toro
Cabudare- Edo Lara
Departamento de Ingeniería Mecánica
PROPOSICIONES
LOGICAS
Integrantes:
Cristian Escalona
C.I: 17.100.986
Profesor:
Domingo Mendez
Asignatura:
Estructura Discreta
2. Introducción.
En las proposiciones lógicas en nuestro caso daremos a conocer como se define
el tipo de proposiciones , conectores lógicos entre otros.
Podemos decir que las proposiciones son aquellas donde que aparte de ser un contenido
pueden ser calificados con valores números enteros y letras mayúsculas y minúsculas las
cuales nos darán información sobre si alguna causa o motivo es verdadero o falso.
3. Las proposiciones
Son aquellas donde que aparte de ser un contenido pueden sercalificados como 1 o 0
como valor lógico donde 1 es verdadero y sedenotara con las letras mayúsculas; Y 0
es falso y se denotara con lasletras minúsculas.
Como por ejemplo:
La universidad Fermín Toro no permite el acceso a los estudiantes que no estén al día
con los pagos:
VL(T)=1(Verdadero)
La universidad Fermín Toro aumento el sueldo al personal docente en un 90%:
VL(p)= 0(falso)
Conectores Lógicos:
Son los que nos permiten formar proposiciones formadas por varias proposiciones.
Tipos conectivos lógicos:
1. Conectiva de la Negación: es una negación de una proposición atómica (Lo
contrario a la respuesta). ¿Cómo podemos reconocerlas en un enunciado? como
la palabra no, no es cierto, no es el caso, es falso, entre otros.
TABLA DE LA P -P
VERDAD
V F
F V
2. Conectiva de la conjunción:
Es la multiplicación lógica de las proposiciones ¿Cómo podemos reconocerlas en un
enunciado? Como la palabra y, pero, no obstante, sin embargo, entre otros.
TABLA DE LA P Q P˄Q
VERDAD
1 1 1
1 0 0
0 1 0
0 0 0
4. 3. Conectividad Bicondicional:
TABLA DE LA P Q P<->Q
VERDAD
1 1 1
1 0 0
0 1 1
0 0 1
Las leyes del algebra de proposicionesestán conformadas por:
Leyes idempotentes
Leyes asociativas
Leyes conmutativas
Leyes distributivas
Leyes de identidad
Leyes de complementación
Con estas leyes podemos reducir los ejercicios probando que una proposición es
equivalente a otra usando las leyes del algebra preposicional, esto es llamado prueba
deductiva.