RAZ.

MATEMÁTICO
Lógica Proposicional II

Prof.: L Alberto Ramos. C

Reglas de Inferencia

https://www.youtube.com/watch?v=436qQk8ogts
 Reglas de Inferencia

“Si me quedo dormido por la mañana, llegaré tarde al trabajo.

Si llego tarde al trabajo, me llamarán la atención.

Por lo tanto, si me quedo dormido por la mañana,

me llamarán la atención en el trabajo.”

Si llueve, vamos a permanecer en el interior.

Si está soleado, vamos a ir a dar un paseo.

O bien no vamos a permanecer en el interior, o no vamos a ir a dar

un paseo, o ambos.

Por lo tanto, o bien no va a llover o no va a estar soleado, o ambos.

 Puntos a tratar

➢Leyes de equivalencia
➢Proposiciones Categóricas
 Conjunto o Clase

En Aritmética En Lógica

Vacío

Con elementos X
 Proposiciones categóricas
1.- Cuantificador universal:
* Todo, todos Cada uno…., Los……, Las….

* Ningún Nadie…., No es el caso….

2.- Cuantificador particular:

* Algún, algunos Pocos…., Ciertos….

Por lo menos uno….
Muchos…., Casi todos….
 Proposiciones categóricas
Negación
Todos los S son P Algunos S no son P
S P S P

Negación
Ningún S es P Algunos S son P

S P S P

X
 Proposiciones categóricas
1.- Inferencia: p → (q → r ) 2.- Silogismo:
p → (q → r )
ps
ps
Premisas t→q 2 Premisas
t→q
s
s
_____________
_____________
Conclusión

r r→
→tt
3.- Recomendaciones al graficar:
* Graficar primero las proposiciones con cuantificador universal.

* La conclusión prima es aquella que no tiene elementos repetidos.

 Silogismo

Sabiendo que:
Gato Volador
- Ningún gato es volador
- Algunos voladores son elegantes
Se puede concluir
X Gato
A) Algunos gatos son voladores
B) Ningún gato es elegante
C) Algunos elegantes son gatos Elegante X
D) Todos los voladores son elegantes
E) Algunos elegantes no son gatos
Elegante

Algunos elegantes no son gatos

 Milk & Mocha

Gracias por su atención

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