Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Act 3 Sol Prob
Act 3 Sol Prob
UANL
Mecatrónica
12
Ineteligencia Artificial Y Redes Neuronales
4:
-0
Grupo: 006
-a
22
20
Titulo del Reporte
de
Actividad 3 Solucion De Problemas
re
b
tu
oc
Maestro:
ña
Alumno:
Al
l
ue
Matrı́cula:
or
1662132
ct
Vi
Intligencia Artificial Y Redes Neuronales Actividad Actividad No 3
Índice
1. Introducción 3
2. Solucion de Problemas 4
3. Conclusion 7
12
4:
-0
-a
22
20
de
re
b
tu
oc
de
1-
ña
Pe
pe
da
Al
l
ue
an
M
or
ct
Vi
2
Intligencia Artificial Y Redes Neuronales Actividad Actividad No 3
1. Introducción
La logica proposicional es una relativa forma simple de logicaes un sistema matematico para razonar
sobre proposiciones y su relacion con otras.
Una proposicion expresa un contenido semantico a la que bajo cierto procedimiento acordado o
prescritos es posible asignarle un valor de verdad.
Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero tienen variables
proposicionales (es decir, que se pueden interpretar como proposiciones con un valor de verdad
12
definido), de ahı́ el nombre proposicional. Los sistemas de lógica proposicional incluyen además
4:
conectivas lógicas, por lo que dentro de este tipo de lógica se puede analizar la inferencia lógica
-0
de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las
-a
proposiciones más simples.
22
20
Como las lógicas proposicionales no tienen cuantificadores o variables de individuo, cualquier secuen-
de
cia de signos que constituya una fórmula bien formada admite una valoración en la proposición es
verdadera o falsa dependiendo del valor de verdad asignado a las proposiciones que la compongan.
re
Esto implica que cualquier fórmula bien formada define una función proposicional. Por tanto, cual-
b
tu
quier sistema lógico basado en la lógica proposicional es decidible y en un número finito de pasos
oc
se puede determinar la verdad o falsedad semántica de una proposición. Esto hace que la lógica
proposicional sea completa y con una semántica muy sencilla.
de
1
2.Mañana no es jueves.
da
Al
Es un argumento válido. Quiere decir que es imposible que las premisas (1) y (2) sean verdaderas y
an
En principio las expresiones del lenguaje formal o de una lengua natural admiten algún tipo de
correspondencia con situaciones o conjuntos de cosas que se encuentran en el mundo fı́sico o abstracto
que puede ser descrito por dicho medio de expresión.
3
Intligencia Artificial Y Redes Neuronales Actividad Actividad No 3
2. Solucion de Problemas
12
4:
-0
-a
22
20
de
re
b
tu
oc
de
1-
ña
Pe
pe
da
Al
l
ue
an
M
or
ct
Vi
Figura 1: .
4
Intligencia Artificial Y Redes Neuronales Actividad Actividad No 3
12
4:
-0
-a
22
20
de
re
b
tu
oc
de
1-
ña
Pe
pe
da
Al
l
ue
an
M
or
ct
Vi
Figura 2: .
5
Intligencia Artificial Y Redes Neuronales Actividad Actividad No 3
12
4:
-0
-a
22
20
de
re
b
tu
oc
de
1-
ña
Pe
pe
da
Al
l
ue
an
M
or
ct
Vi
Figura 3: .
6
Intligencia Artificial Y Redes Neuronales Actividad Actividad No 3
3. Conclusion
Para concluir en esta actividad mencionamos el significado de la logica proposicional la cual
comentamos que es una relativa forma simple de logicaes un sistema matematico para razonar sobre
proposiciones y su relacion con otras y para ponerlo en practica realizamos un par de ejercicios en
lo cual pusimos en practica lo visto en clase.
12
4:
-0
-a
22
20
de
re
b
tu
oc
de
1-
ña
Pe
pe
da
Al
l
ue
an
M
or
ct
Vi
7
Intligencia Artificial Y Redes Neuronales Actividad Actividad No 3
Referencias
[1] Ertel, W. (2011). Artificial Intelligence: A Modern Approach. Third edition edition.
12
4:
-0
-a
22
20
de
re
b
tu
oc
de
1
-
ña
Pe
pe
da
Al
l
ue
an
M
or
ct
Vi