1. Universidad Fermin Toro
Decanato de Ingenieria
Escuela de Telecomunicaciones
Cabudare-Lara
Integrante:
Marisely Mosquera, CI: 20.469.132
Seccion: Saia B
Estructura Discreta
2. Proposiciones
Un enunciado lingüístico (generalmente en la forma gramatical de una oración enunciativa) puede
ser considerado como proposición lógica cuando es susceptible de poder ser verdadero o falso.
Por ejemplo “Es de noche” puede ser Verdadero o Falso. Aunque existen lógicas polivalentes, en
orden a la claridad del concepto, aquí consideramos únicamente el valor de Verdad o Falsedad.
Se llama proposición atómica, o simple, cuando hace referencia a un único contenido de verdad o
falsedad; vendría a ser equivalente a la oración enunciativa simple en la lengua.
Proposición molecular cuando está constituida por varias proposiciones atómicas unidas por
ciertas partículas llamadas "nexos o conectivas", que establecen relaciones sintácticas como
función de coordinación y subordinación determinadas entre las proposiciones que la integran; tal
ocurre en la función de las conjunciones en las oraciones compuestas de la lengua
También recibe el nombre de oración subordinada. He aquí tres ejemplos de oraciones
compuestas en las cuales las proposiciones las he puesto en letra resaltada:
1. Los sobrenombres que se adjudican tan desaprensivamente en el barrio del Pacífico, son
para todos nosotros motivo de cuidado…
2. Nos parece que no se puede atribuir un apodo cualquiera a alguien que deberá
absorberlo…
3. Como ejemplo del cuidado que tenemos en estas cosas bastará citar el caso de mi tía la
segunda…
Proposición Porque no es una proposición
¡Viva la familia! Exclamación o admiración
¿Está lloviendo? Pregunta
Lávate la cara Imperativa u orden
Pedro es muy malo Juicio de valor
Debemos honrar a nuestros héroes Exhortativa
Que tengas muy buen día Desiderativa
Quizá llueva mañana Dubitativa
Conectores Logicos
Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos
valores de verdad, y devuelven un único valor de verdad. En consecuencia, cada conectiva lógica
puede ser definida mediante una tabla de valores de verdad que indique qué valor devuelve la
conectiva para cada combinación de valores de verdad. A continuación hay una tabla con las
conectivas más usuales y su definición mediante tablas de verdad:
3. Conectiva Notación Ejemplo Análogo Ejemplo de Tabla de verdad
de uso natural uso en
el lenguaje
natural
Negación no No está
lloviendo.
Conjunción y Está lloviendo
y es de noche.
Disyunción o Está lloviendo
o es de noche.
Condicional si... Si está
material entonces lloviendo,
entonces es de
noche.
Bicondicional si y sólo Está lloviendo
si si y sólo si es
de noche.
Negación ni... ni Ni está
conjunta lloviendo ni es
de noche.
4. Disyunción o bien... O bien está
excluyente] o bien lloviendo, o
bien es de
noche.
La jerarquía de las proposiciones son: negación, conjunción, disyunción, implicación, bicondicional
y son asociadas por la izquierda. De esta manera sin nos encontramos ante la siguiente
proposición: p →q ¬r El correcto para resolverlo sería para este caso:
1. Primero negamos r ( ¬r )
2. Luego resolvemos la conjunción (q ¬q)
3. Por último resolvemos la implicación →
Pero tiene mayor los signos de agrupación, des esta manera, si nos encontramos con la
proposición: (p →q) ¬r
1. Primero resolvemos la implicación (p →q)
2. Luego hacemos la negación de r ( ¬r )
3. Por ultimo la conjunción.
Como podemos observar los operadores se colocan a la izquierda de la variable proposicional,
siendo incorrectos los siguientes ejemlos:
p¬
q↔r
Solo por mencionar algunos ejemplos, porque podrían haber muchas combinaciones incorrectas.