7945149
Beschreibung
Mindmap von FELIPE ESTEBAN FIGUEROA AREVALO, aktualisiert more than 1 year ago
|
Erstellt von FELIPE ESTEBAN FIGUEROA AREVALO
vor fast 8 Jahre
|
|
CÁLCULO DE
PREDICADOS
- En los cálculos de predicados se tienen elementos simples para formar las expresiones atómicas.
- FUNCIONES PROPOSICIONALES
- Las
expresiones:
¨x es un
número
primo¨ y
¨2x+y= 5¨ no
son
proposiciones
ya que no se
les puede
asignar un
valor de
verdad.
- CUANTIFICADOR UNIVERSAL
- La conjunción ^ es asociativa, conmutativa y tiene
elemento neutro verdadero, puede considerarse válido
para definir la expresión cuantificada ( ^ X : R : P )
- CUANTIFICADOR EXISTENCIAL
- La disyunción v es simétrica, asociativa
y su elemento neutro es falso, por
tanto se considera una operación
válida para definir la expresión
cuantificada ( v X: R: P)
- REGLAS DE CÁLCULO DE PREDICADOS
- 1.Toda constante
y toda variable
es un término.
- 2.Todo término es el resultado
de la aplicación un número
finito de veces de las reglas
aplicadas anteriormente.
- 3.Toda fórmula
elemental es una
fórmula.
- 4.Si A es una fórmula
entonces ¬A es una
fórmula y así
sucesivamente.
- 5.Toda
fórmula es el
resultado
solamente de
la aplicación
de un número
finito de veces
de las reglas
1,2,3,4.
- 1.Toda constante
y toda variable
es un término.
- REGLAS DE CÁLCULO DE PREDICADOS
- La disyunción v es simétrica, asociativa
y su elemento neutro es falso, por
tanto se considera una operación
válida para definir la expresión
cuantificada ( v X: R: P)
- CUANTIFICADOR EXISTENCIAL
- La conjunción ^ es asociativa, conmutativa y tiene
elemento neutro verdadero, puede considerarse válido
para definir la expresión cuantificada ( ^ X : R : P )
- CUANTIFICADOR UNIVERSAL
- Las
expresiones:
¨x es un
número
primo¨ y
¨2x+y= 5¨ no
son
proposiciones
ya que no se
les puede
asignar un
valor de
verdad.
- FUNCIONES PROPOSICIONALES
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.