RAZ.

MATEMÁTICO
Orden de Información II

Prof.: Luis Alberto Ramos Cruzate

5.
5.
 RAZ. MATEMÁTICO
Lógica Proposicional I

Prof.: L Alberto Ramos. C

¿Qué es la lógica?
La lógica es la ciencia formal y
rama tanto de la filosofía como
de las matemáticas que estudia
los principios de la demostración
y la inferencia válida,​ las
falacias, las paradojas y la
noción de verdad.
Es un sistema que permite verificar
si el razonamiento es correcto o
incorrecto
 Los lógicos más importantes

Aristóteles Bertrand Russell Kurt Gödel

 Puntos a tratar

➢Proposición Lógica
➢Simbolización y jerarquización
➢Modificador y conectores lógicos
➢Funciones veritativas (Tablas de verdad)
 Proposición Lógica

Es un enunciado al cual
se le puede dar un valor
de verdad. Es decir es
verdadero o falso, pero
no ambos.

Los conejos son lagomorfos

Ejemplos
Paris es la capital de Francia

Verdadero

Paris es la capital de Francia,

es una proposición
Ejemplos
Neptuno es un planeta interior del
sistema solar

Falso

Neptuno es un planeta interior

del sistema solar, es una
proposición
 Ejemplos:

2 7 Verdadero Si es una proposición

 7 Falso Si es una proposición

x − 13 = 28 ??? No es una proposición

2x − 7  25 ??? No es una proposición

3
(
x + y = ( x + y ) x − xy + y
3 2 2
) Verdadero Si es una proposición
(Función proposicional)
Ejemplos

¿Cuál es la mejor universidad ?

No es una proposición
 Ejemplos

No es una proposición
Ejemplos
¡Ojala termine pronto esta pandemia!

No es una proposición
 Puntos a tratar

➢Proposición Lógica
➢Simbolización y jerarquización
➢Modificador y conectores lógicos
➢Funciones veritativas (Tablas de verdad)
 Simbolización
Las proposiciones pueden ser reemplazadas por las letras:

p, q, r, s, t, …
Las proposiciones siempre son afirmativas

Karin es especialista en Biología Molecular =p

Karin es docente universitaria = q

Karin no sabe nadar =?

 Puntos a tratar

➢Proposición Lógica
➢Simbolización y jerarquización
➢Modificador y conectores lógicos
➢Funciones veritativas (Tablas de verdad)
 Modificador
Negación ( , )

No, ningún, nadie, …

Diana es bióloga =p Diana no es bióloga = p

Los congresistas son honestos =q Ningún congresistas es honesto = q

Expresiones equivalentes a los términos representativos
 Conectores Unen proposiciones simples o atómicas

1. Conjunción ( )

Y, , ,como , pero, a la vez, además, así como, incluso, también, …

Diana es bióloga y docente universitaria = p q
Proposición simple “p” Proposición simple “q”

Leo hace la tarea y escucha música = r s

Leo hace la tarea así como escucha música = r s

Expresiones equivalentes a los términos representativos
 Conectores
2. Disyunción débil o inclusiva ( )

...o... , ...u… , …a menos que… Sucede un evento el otro o ambos

Diana es bióloga o docente universitaria = p q

Leo hace la tarea o escucha música = r s

Coco no maneja su motocicleta a menos que use casco = ~t u

 Conectores
3. Disyunción fuerte o exclusiva (  )

….o….. , o…. o …. Sucede uno solo de los eventos

Diana estudia biología o zootecnia en la UNALM = p q

O Leo hace la tarea o escucha música = r  s

Expresiones equivalentes a los términos representativos
 Conectores
4. Condicional ( → ) Si (causa) entonces (efecto)

Si….entonces…..
,
Si…. ….. …. solo si ….
Si….luego….. Cuando…. entonces …..
Si….por lo tanto…..
Si….en conclusión….. Cuando…. ….. ,
Si….de ahí….. Es suficiente….para……

Si diana se queda en casa entonces no se contagiará con el Sars Cov 2 = p→ q

Expresiones equivalentes a los términos representativos
 Conectores
“Condicional Invertida” (“ ”) (efecto) (causa)
→ →

…. , Si …. ….puesto que…..
…. cuando …. ….ya que…..
….dado que….. ….porque…..
….siempre que…..
…. Siempre y cuando ….
Es necesario…. para que ….

https://www.youtube.com/watch?v=ETkN5UtrcPc
 Conectores
Condicional Invertida (“ → ”) (efecto) → (causa)

Diana no se contagiará con el Sars Cov 2 ya que usa mascarilla

p → q

q → p
 Conectores
5. Bicondicional (  )

….si solo si…..

….cuando y solo cuando…..

….es condición necesaria y suficiente…..

Diana ingresará a la UNALM si solo si estudia con disciplina.

p q
Expresiones equivalentes a los términos representativos
 Puntos a tratar

➢Proposición Lógica
➢Simbolización y jerarquización
➢Modificador y conectores lógicos
➢Funciones veritativas (Tablas de verdad)
 Funciones veritativas (Tablas de verdad)
3. Disyunción débil 5. Condicional
1. Negación
p q p  q p p → q
q
p p
V V V V V V
V F F
V F V V F
F V F V V
F V V
F F F F F V
2. Conjunción 6. Bicondicional
4. Disyunción fuerte
p q p  q p q p  q p p  q
q
V V V V V F V V V
V F F V F V V F F
F V F F V V F V F
F F F F F F F F V
TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

TAUTOLOGÍA (T)
TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

Τ
CONTRADICCIÓN ( )
TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

CONTINGENCIA (C)
 Milk & Mocha

Gracias por su atención

большое спасибо за посещение занятий