UNIVERSIDAD CENTRAL DEL ECUADOR
Nivelación de Carrera
Nombre: Gancino Andy
Materia: Matemática
Paralelo: 003
Tema: Conceptos Básicos de lógica Proposicional
LOGICA PROPOSICIONAL
La lógica proposicional también llamada simbólica o matemática, es parte de la lógica que
estudia las proposiciones y símbolos utilizados en la formación de nuevas proposiciones
que podrán ser verdaderas o falsas, señaladas por reglas formales.
LA COMUNICACIÓN
Al comunicarse las personas utilizan un conjunto de señales o signos previamente
convenidos que trasmiten una idea o información
Estos signos pueden ser: Acústicos, visuales, olfativos, táctiles, etc. Utilizando para
ello el lenguaje oral, los gestos, las señales gráficas, etc.
ENUNCIADO
Se llama enunciado a toda frase u oración, que se utilizan en el lenguaje común, Algunos
enunciados son mandatos, interrogaciones o negaciones que tienen la característica de
ser verdadera o falsa
Interrogativas: ¿Qué hora es? ¿Cuál es tu nombre? ¿llegaras pronto?
Imperativos o Exhortativos: Regresa de inmediato. No saltes. ¡Apúrate!
Expresivas: Buscar comunicar sentimientos, deseos o actitudes. Pueden ser
exclamativos
Informativos: Buscar afirmar algo
Enunciados Abiertos: son expresiones que contienen “variables” y que no tiene la
propiedad de ser verdaderas o falsas. También se le conoce con el nombre de
FUNCION PROPOSICIONAL
PROPOSICION
Es enunciado cuya propiedad fundamental es la de ser verdadera (V) o falso (F);
pero no ambas simultáneamente y sin ambigüedad.
Las proposiciones lógicas se denotan con letras minúsculas, tales como:
p,q,r,s,t,u…, etc., (llamadas “variables proposicionales”); y cuando se trata de
representar muchas proposiciones similares se usan subíndices para indicar cada
una de ellas, es decir:
- A la Verdad o falsedad de una proposición, se le denomina Valor veritativo o valor
de verdad
CLASES DE PROPOSICIONES
Proposiciones simples o Atómicas: Son aquellas que se pueden representar
con una sola variable o letra (No tiene Conectivos) Las proposiciones
simples o atómicas son proposiciones que ya no pueden descomponerse
en dos expresiones que sean proposiciones.
Ejemplos de proposiciones simples o atómicas:
1. p: La ballena es roja
2. q: La raíz cuadrada de 16 es 4
3. r: Gustavo es alto
4. s: Teresa va a la escuela
5. t: pamela tiene 15 años
Proposiciones Compuestas o Moleculares: son aquellas que están
constituidas por proposiciones simples enlazadas entre sí por conectivos
lógicos. El valor de la verdad de una proposición compuesta depende de
los valores de la verdad de las proposiciones que lo forman y de la manera
como están unidas
Ejemplos de proposiciones compuestas:
1. p: La ballena no es roja
2. q: Gustavo no es alto
3. r: Teresa va a la escuela o María es inteligente
4. s: 4 es menor que 8 o 6 es mayor que 10
5. t: El 1 es el primer número primo y es mayor que cero
CONECTIVOS LOGICOS: negación, disyunción, conjunción, condicional y bicondicional
.
NEGACION
Define la negación de p como la proposición p¬ que es verdadera cuando p es falsa y que
es falsa, cuando p es verdadera. Se lee "no p". A partir de una o varias proposiciones
elementales se pueden efectuar diversas operaciones lógicas para construir nuevas
proposiciones; en este caso, se necesita conocer su valor de verdad o falsedad en función
de los valores de las proposiciones de que se componen, lo cual se realiza a través de las
tablas de verdad de dichas operaciones. La tabla de verdad de la negación es la siguiente:
La negación de q puede ser enunciada de la siguiente manera: ¬q: “Algunos perros no
son blancos”. Así, si q es verdadera, claramente ¬q es falsa, mientras que si ¬q es
verdadera, resulta ser falsa q.
CONJUNCION
Es aquella proposición que es verdadera cuando p y q son verdaderas, y falsa en cualquier
otro caso. Se escribe p ∧ q, y se lee "p y q". Así por ejemplo, la proposición compuesta
Palmira tiene montañas y ríos es verdadera porque cada parte de la conjunción es
verdadera. No ocurre lo mismo con la proposición Palmira tiene montañas y tiene mar.
Esta proposición es falsa porque Palmira no tiene mar.
DISYUNCIÓN
Es aquella proposición que es verdadera cuando al menos una de las dos p o q es
verdadera, y falsa en caso contrario. Se escribe p v q, y se lee "p o q". La disyunción de
dos proposiciones puede ser de dos tipos: Exclusiva o excluyente e inclusiva o incluyente.
La exclusiva es aquella proposición que es verdadera cuando una y sólo una de las dos p
o q es verdadera, y falsa en cualquier otro caso. Se escribe p ⊻ q, y se lee "p o q pero no
ambas". Se usa muy poco.
La disyunción de tipo inclusivo entre dos proposiciones es falsa sólo si ambas
proposiciones son falsas. En el lenguaje coloquial y en matemática es más frecuente el
uso de la disyunción inclusiva,
También llamada el “ o inclusivo”. A veces el contexto de una frase indica si la disyunción
es excluyente o incluyente.
CONDICIONAL: Es aquella proposición que es falsa únicamente cuando la
condición suficiente p es Verdadera y la condición necesaria q es falsa. Se
escribe p ⇒ q, y se lee "si p entonces q".
BICONDICIONAL: Es aquella proposición que es verdadera cuando p y q
tienen el mismo valor de verdad, y Falsa en caso contrario. Se escribe p ⇔
q, y se lee "si y sólo si p entonces q".
Referencias
Anonimo. (14 de septiembre de 2015). pilos matematicos. Obtenido de pilos matematicos:
[Link]
[Link]
Huarotto, L. l. (13 de noviembre de 2012). [Link]. Obtenido de [Link]:
[Link]