Académique Documents
Professionnel Documents
Culture Documents
Paraguar
Curso de Profesorado de Formacin
Docente Inicial-rea Informtica
Alumno-Docente:
Informacin
Algortmica
Inferencia Lgica. Reglas de inferencia
1. Simplificacin Disyuntiva (DP)
De la disyuncin de dos proposiciones iguales, se puede concluir con la
afirmacin de unas de ellas
En esta ley los trminos tambin pueden ser moleculares. Se abrevia: DP.
Ejemplo:
-Alguna vez escuchamos o dijimos:
-Vienes o vienes
PvP
-La nica conclusin posible es:
1pvp
-Vienes.
p
2 p
DP(1)
Pginas
R P
3: P
R P
4: R V R SD(1,2,3)
Pginas
Gua de Trabajo.
Simplificacin disyuntiva:
Conclusin:
..
2
.
3
..
5
..
6
.
7
.
Jos Huerta sejohuerta@gmail.com
Pginas
10
Leyes de De Morgan:
Analizamos las siguientes premisas. Halamos la proposicin que de acuerdo con la Ley
de Morgan es equivalente y en base a la misma, construimos un argumento que tenga
una conclusin valida. Formalizamos.
1) Es falso que todos los jvenes en este pas gustan del ftbol y practican algn
deporte.
.........................................................................................................................................................
.........................................................................................................................................................
.............................................................................................................................................
2)
4)
..
Pginas
5) Es falso que todos los nios de la calle estn desprotegidos o todos son
descuidados por su familia.
.
6) La mayora de la poblacin joven que trabaja no est afiliado a sindicatos y no
tienen seguro social.
..
Pginas
Recursos Materiales.
Notebook
Pizarra
Proyector
Pendrive
Copias
Materiales de consulta.
Bibliografa:
Lgica matemtica 3 curso. Educacin Media. En Alianza Fundacin.
Programa de estudio 1 B.T.I.
Pginas