Professional Documents
Culture Documents
ICA – PERÚ
2017
1
Lógica Proposicional Mag. Roberto Huayanca Espino
ASIGNATURA
MATEMÁTICA BÁSICA
DOCENTE
MAG. ROBERTO HUAYANCA ESPINO
2
Lógica Proposicional Mag. Roberto Huayanca Espino
Lógica
Proposicional
ICA – PERÚ
3
Lógica Proposicional Mag. Roberto Huayanca Espino
OBJETIVOS
OBJETIVO GENERAL:
Identificar, formalizar y simplificar proposiciones.
OBJETIVOS ESPECÍFICOS:
4
Lógica Proposicional Mag. Roberto Huayanca Espino
ACTIVIDAD N° 01
OBJETIVO
Conceptualizar la lógica
como ciencia y reconocer su
importancia en el avance
científico y tecnológico.
CONCEPTUALIZACIÓN:
Considerando que la lógica estudia tanto la estructura como el
contenido del pensamiento, conceptualmente afirmamos que “La
Lógica es la ciencia que estudia las leyes dialécticas y lógico-formales,
los métodos, los procedimientos, las propiedades y las relaciones; sobre
la base de las teorías del pensamiento”
La ciencia, puede ser entendida como proceso (investigación científica)
y también como producto (publicación o exposición de los
resultados de la investigación científica).
En ambos casos, la ciencia necesita de la lógica, sin ésta no puede
desenvolverse.
5
Lógica Proposicional Mag. Roberto Huayanca Espino
6
Lógica Proposicional Mag. Roberto Huayanca Espino
7
Lógica Proposicional Mag. Roberto Huayanca Espino
OBJETIVO
ACTIVIDAD N° 02
Definir e identificar
Proposiciones simples y
compuestas.
Enunciado, PROPOSICIÓN,
DEFINICIÓN Y CLASES
ENUNCIADO: Es cualquier frase u oración que expresa una idea.
LA ORACIÓN: Convencionalmente, es una palabra o conjunto de palabras
con sentido o significado propio.
b) Descriptivas (Describen)
Ejemplo: La pizarra es de forma rectangular.
c) Explicativas (Explican)
Ejemplo: El área de un cuadrado de 4 cm de lado es 16m2 porque para
hallar el área de un cuadrado se multiplica lado por lado.
3) Expresivas o no Aseverativas:
a) Exclamativas (Sentimientos, interjecciones)
Ejemplo: ¡Viva el Perú!
b) Imperativas (Órdenes)
Ejemplo: Silencio
c) Desiderativas (Deseos, súplicas)
Ejemplo: Quiero viajar al Cuzco
Dubitativas (Dudas)
Creo que no asistiré a clases
d) Interrogativas (Preguntas)
Ejemplo: ¿Qué hora es?
e) Indefinidas (Presenta variables)
Ejm.: x es un estudiante
8
Lógica Proposicional Mag. Roberto Huayanca Espino
ENUNCIADO ABIERTO
Son oraciones indefinidas que contienen una o más variables y que se convierten en
proposición cuando dichas variables se sustituyen por elementos definidos.
Ejemplo:
p(x): x es un número impar. Se cumple que:
p(4): 4 es un número impar es falso
p(7): 7 es un número impar es verdadero
LA PROPOSICIÓN:
Es la expresión lingüística del razonamiento, de cuyo contenido o significado
se puede saber si es verdadero o falso empíricamente, sin ambiguedades y
que generalmente se expresa como oración aseverativa o declarativa. A nivel
de pensamiento se llama juicio y a nivel de lenguaje se llama proposición.
“Proposición es toda oración Aseverativa o Declarativa”
Ejemplo:
Todo número par es divisible por dos.
Las razones trigonométricas fundamentales son seis
Ningún número primo es par
9
Lógica Proposicional Mag. Roberto Huayanca Espino
ANOTACIÓN IMPORTANTE:
El valor de verdad de una proposición está sujeto a lo que ocurre en la
Realidad.
En algunas oportunidades no es posible saber la verdad o falsedad de
una proposición, debido a las limitaciones de la ciencia.
Ejemplo:
a) Después de la muerte existe vida
b) En Marte existe vida
EXPRESIONES PROPOSICIONALES
• 𝐴∘ = 𝜋𝑟 2
Las fórmulas matemáticas.
• 𝑎2 + 𝑏 2 = 𝑐 2
• p ∧ (q ∨ r) ⟺ (p ∧ q) ∨ (p ∧ r)
Las fórmulas y/o esquemas lógicos. • p ⟶ q ⟺ ~p ∨ q
10
Lógica Proposicional Mag. Roberto Huayanca Espino
EXPRESIONES NO PROPOSICIONALES
Son oraciones que no tienen la propiedad de ser verdaderas o falsas
NO SON PROPOSICIONES EJEMPLO
Las interrogaciones ¿Cuál es tu nombre?
11
Lógica Proposicional Mag. Roberto Huayanca Espino
4) ¡Viva el Perú!
Esta es una exclamación, por lo tanto no es proposición
12
Lógica Proposicional Mag. Roberto Huayanca Espino
SI ES NO ES
ENUNCIADO TIPO PROP. PROP.
EXPLICACIÓN
1 El hierro es un mineral
7 4x – 1= – 5
9 13 + 7
13
Lógica Proposicional Mag. Roberto Huayanca Espino
12 36 + 63 = 99
22 Él es estudiante De Turismo
24 Alberto es bueno
25 ¿Qué es la lógica?
14
Lógica Proposicional Mag. Roberto Huayanca Espino
34 ¡Tú te callas!
35 -4+3=7
41 X2+y2 ≥9
15
Lógica Proposicional Mag. Roberto Huayanca Espino
46
El pentágono tiene cuatro lados
16
Lógica Proposicional Mag. Roberto Huayanca Espino
CLASES DE PROPOSICIONES:
17
Lógica Proposicional Mag. Roberto Huayanca Espino
18
Lógica Proposicional Mag. Roberto Huayanca Espino
y ∧ Conjunción
Tienen igual
o ∨ Disyunción
peso
o……..o……... △ Disyunción exclusiva
1. Conjunción:
Vincula dos proposiciones mediante el conectivo lógico "y".
Tabla de Verdad
p q p q EXPRESIONES EQUIVALENTES DE “y”
Pero, además, aunque, sin embargo,
V V V a la vez, a la vez que, a la par que, también, no obstante, más aún,
V F F más a pesar de que, al mismo tiempo que, aún cuando, tanto
F V F como, al igual que, igualmente, etc.
F F F
2. Disyunción:
Vincula dos proposiciones mediante el conectivo lógico "o".
Tabla de Verdad
p q p q
V V V
V F V
F V V
F F F 3. Disyunción Exclusiva:
Vincula dos proposiciones mediante el conectivo lógico:
"o ..........., o ............."
Tabla de Verdad
p q p ∆ q
V V F
V F V
F V V
F F F
19
Lógica Proposicional Mag. Roberto Huayanca Espino
4. Condicional:
Vincula dos proposiciones mediante el conectivo lógico:
"Si ........entonces ............"
Tabla de Verdad
p q p q
V V V
V F F
F V V
F F V
5. Bicondicional:
Vincula dos proposiciones mediante el conectivo lógico: ".......si y sólo si ......."
Tabla de Verdad
p q p q
V V V
V F F
F V F
F F V
6. Negación:
Es un operador monádico (afecta a una sola proposición) que cambia el valor de verdad de una proposición
Tabla de Verdad
p ~p
V F
F V
ESQUEMA PROPOSICIONAL
(FÓRMULA PROPOSICIONAL)
p
PARA 1 PROPOSICIÓN
V
2n = 21 = 2 valores (filas)
F
p q
PARA 2 PROPOSICIONES
2n = 22 = 4 valores (filas)
20
Lógica Proposicional Mag. Roberto Huayanca Espino
V V
V F
F V
F F
p q r
V V V
V V F PARA 3 PROPOSICIONES
V F V 2n = 23 = 8 valores (filas)
V F F
F V V
F V F
F F V
F F F
p q r [Esquema proposicional]
Fila
s
Columnas
p q ( 𝑝 ⟷ 𝑞 ) ∧ ( ~𝑝 ⟶ 𝑞 )
21
Lógica Proposicional Mag. Roberto Huayanca Espino
22
Lógica Proposicional Mag. Roberto Huayanca Espino
1) [(𝑝 ⟶ 𝑞) ∧ (𝑞 ⟶ 𝑟)] ⟷ (𝑝 ⟶ 𝑟)
p q r [( 𝑝 ⟶ 𝑞 ) ∧ ( 𝑞 ⟶ 𝑟 )] ⟷ ( 𝑝 ⟶ 𝑟 )
v v v V V
v v f V V
v f v V F
v f f V F
f v v F V
f v f F V
f f v F F
f f f F F
p q r
[ (∼ 𝑝 ∧ ~𝑞) ⟶ ~(𝑞 ∧ 𝑟) ] ⟷ (𝑟 ∧ ~𝑞)
23
Lógica Proposicional Mag. Roberto Huayanca Espino
4) [ ( p q ) ⟶ r ] ⟷ p [ r ( p q ) ]
5) [ ( p q ) r ] ( q ⟷ r )
p q r [( p q ) r ] ( q ⟷ r )
6) { [ ( p r ) ⟶ q ] [ ( p q ) r ] } ⟶ { ( r p ) ⟶ r}
24
Lógica Proposicional Mag. Roberto Huayanca Espino
p q r { [ ( p r ) ⟶ q ] [( p q ) r ] } ⟶ { ( r p ) ⟶ r }
25
Lógica Proposicional Mag. Roberto Huayanca Espino
Indicar las proposiciones que son verdaderas.
a) p y r b) p y q c) r y t d) q y t e) p y t
26
Lógica Proposicional Mag. Roberto Huayanca Espino
27