Este documento introduce la lógica proposicional. Explica que una proposición es un enunciado que puede ser verdadero o falso. Presenta ejemplos de proposiciones y no proposiciones. Define los operadores lógicos de negación, conjunción, disyunción inclusiva, disyunción exclusiva e implicación o condicional. Incluye tablas de verdad para cada operador lógico.
0 calificaciones0% encontró este documento útil (0 votos)
46 vistas10 páginas
Este documento introduce la lógica proposicional. Explica que una proposición es un enunciado que puede ser verdadero o falso. Presenta ejemplos de proposiciones y no proposiciones. Define los operadores lógicos de negación, conjunción, disyunción inclusiva, disyunción exclusiva e implicación o condicional. Incluye tablas de verdad para cada operador lógico.
Este documento introduce la lógica proposicional. Explica que una proposición es un enunciado que puede ser verdadero o falso. Presenta ejemplos de proposiciones y no proposiciones. Define los operadores lógicos de negación, conjunción, disyunción inclusiva, disyunción exclusiva e implicación o condicional. Incluye tablas de verdad para cada operador lógico.
Este documento introduce la lógica proposicional. Explica que una proposición es un enunciado que puede ser verdadero o falso. Presenta ejemplos de proposiciones y no proposiciones. Define los operadores lógicos de negación, conjunción, disyunción inclusiva, disyunción exclusiva e implicación o condicional. Incluye tablas de verdad para cada operador lógico.
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1/ 10
Alex David Guzmán García xelaagug@gmail.
com
TEMA 1
LOGICA PROPOSICIONAL INTRODUCCION
En general la lógica se emplea en la tarea diaria; pues los seres humanos efectuamos diversas actividades y trabajos que requieren de un proceso lógico. Por ejemplo, para ver un programa de televisión, uno debe conectar el aparato a la fuente de electricidad, encenderlo y captar el canal requerido.
La lógica es una disciplina cercana a la actividad mental humana. Gran parte de ella fue creada para formalizar los procesos deductivos de los seres humanos basados en procesamiento simbólico de información.
La lógica es muy importante, se aplica ampliamente en filosofía, matemática, computación,
física, etc. En filosofía, para determinar si un razonamiento deductivo es válido o no. En matemática para demostrar teoremas, corolarios e inferir resultados matemático útiles en ciencias e ingeniería. En ciencias de la computación para realizar y verificar programas. En ciencias físicas y naturales, para establecer conclusiones de experimentos.
PROPOSICION
Una proposición, es toda oración o enunciado de la cual se puede establecer si es verdadera
(V) o falsa (F), pero no ambas a la vez. No necesitamos que valor de verdad (falso o verdadero) le corresponde para considerarla como proposición.
EJEMPLO
Las siguientes frases son proposiciones
a) John Nash fue un matemático que obtuvo Premio Nobel de Economía en 1994 b) El aumento de temperatura dilata los cuerpos físicos c) El CO es un gas beneficioso para el ser humano d) 32 + 42 = 52 1 ORURO-BOLIVIA Alex David Guzmán García [email protected]
e) 289301 + 1 es un número primo
f) Todo entero par mayor que 4 es la suma de dos números primos
Aunque no conocemos el valor de verdad de las frases e) y f), estas son proposiciones
EJEMPLO
Las siguientes frases no son proposiciones
a) ¿Es importante la matemática en ingeniería
b) ¿Habla usted Aleman? c) Ayúdeme por favor d) 3+5-7
Las frases interrogativas a) y b), de petición c) en general no son proposiciones. El
enunciado d) no tiene la característica de ser falsa o verdadera, luego no es proposición
NOTACION
Denominaremos proposiciones simples o primitivas a aquellas que no tienen operadores
lógicos en su estructura; es decir, no se puede subdividir en dos o más proposiciones con contenido propio. Las simbolizaremos por las letras p, q, r, s…, etc.
EJEMPLO
p: ”7 es número perfecto” F
q: “El covid 19 es una bacteria” F
n(n + 1) r: “1 + 2 + 3 + ............... + n = “ V 2
En los ejemplos anteriores no es posible subdividir ningún enunciado en elementos simples.
En cambio la frase
“Las grasas y los hidratos de carbono proporcionan energía al organismo”
se descompone en
p: “Las grasas proporcionan energía al organismo”
q: “Los hidratos de carbono proporcionan energía al organismo”
Cada una de estas proposiciones, tiene contenido de información propia. La palabra “y” es un conectivo del lenguaje que permite construir una nueva frase mediante dos proposiciones, añadiendo característica de simultaneidad de ambas y aportando matices nuevos a los contenidos de información de las frases conectadas.
Las proposiciones compuestas o formulas proposicionales, son combinaciones de
proposiciones y conectivos lógicos u operadores que permiten expresar formalmente el razonamiento lógico de los seres humanos.
En las operaciones entre proposiciones, en general, se trata de determinar la verdad de la
proposición compuesta, conociendo los valores de verdad de las proposiciones simples que la componen.
OPERADOR DE NEGACION
Su función es negar la proposición. Esto significa que sí alguna proposición es verdadera y
se le aplica el operador “no” se obtendrá su complemento o negación (falso)
La negación es una operación unitaria, se realiza al afectar la proposición “p” con el
conectivo “no” de negación. Este operador se sindica por medio de los símbolos ~ o ¬ 3 ORURO-BOLIVIA Alex David Guzmán García [email protected]
~p se lee: “no p “
“no es cierto que p “
“es falso que p “
EJEMPLO
p: “Arquímedes fue el inventor del tornillo sin fin” V
~ p : “Arquímedes no fue el inventor del tornillo sin fin” F
EJEMPLO
p: “33 es número primo” F
~ p : “33 no es número primo” V
En los ejemplos anteriores, observamos que los valores de verdad de “p” y la proposición compuesta ~ p son opuestas entre sí, luego la tabla de verdad de la negación es
p ~ p p ¬p V F 1 0 F V 0 1
OPERADOR DE CONJUNCION O PRODUCTO LOGICO
La conjunción es un operador que se utiliza para unir dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero.
La conjunción de las proposiciones “p” y “q”, se denota por:
p˄q se lee “p y q “
EJEMPLO Sea el enunciado:
“El vehículo enciende cuando tiene combustible en el tanque y tiene corriente la batería "
Las proposiciones simples (o primitivas) del enunciado son:
Luego, la representación simbólica del enunciado es:
α ≡ p∧q
La tabla de verdad de la conjunción es:
p q p˄q p q p˄q V V V 1 1 1 V F F 1 0 0 F V F 0 1 0 F F F 0 0 0
OPERADOR DE DISYUNCIÓN INCLUSIVA O SUMA LOGICA
El operador de disyunción inclusiva se utiliza para unir dos proposiciones en las que se cumplen una de dos o las dos a la vez para que se pueda obtener un resultado verdadero.
La disyunción inclusiva de las proposiciones “p”, “q”, es la proposición que se obtiene al
unirlas por medio del conectivo “o”, se escribe
p˅q se lee “p o q“
EJEMPLO Sea el enunciado:
“Jorge ingresa al examen si tiene carnet de identidad o carnet universitario “
Las proposiciones simples (o primitivas) del enunciado son:
Luego, la representación simbólica del enunciado es:
β ≡ p∨q
La tabla de verdad de la disyunción inclusiva es:
p q p˅q p q p˅q V V V 1 1 1 V F V 1 0 1 F V V 0 1 1 F F F 0 0 0
OPERADOR DE DISYUNCIÓN EXCLUSIVA
La disyunción exclusiva de dos proposiciones, es la proposición que se obtiene al unirlas
por medio del conectivo “o” (sentido excluyente). Se utiliza para unir dos proposiciones en las que se cumplen una de dos, no ambas a la vez, se escribe
p˅q se lee “p o q“
EJEMPLO Sea la frase:
“Hoy es sábado o domingo”
Las proposiciones simples (o primitivas) del enunciado son:
Luego, la representación simbólica del enunciado es:
α=p˅q
La tabla de verdad de la disyunción exclusiva es:
p q p˅q p q p˅q V V F 1 1 0 V F V 1 0 1 F V V 0 1 1 F F F 0 0 0
OPERADOR DE IMPLICACION O CONDICIONAL
Se denomina implicación o condicional de dos proposiciones simples (o compuestas)
“p”,”q” a la proposición:
p ⇒ q se lee “Si p entonces q “
“p solo si q “
“q necesario para p “
La proposición “p” se conoce como antecedente o hipótesis de la implicación, y “q” como
consecuente o conclusión.
La implicación representa la relación causa efecto, aunque no es necesario que haya una relación causal entre las proposiciones para que la implicación sea verdadera.
