términos
Páginas: 8 (1843 palabras)
Publicado: 7 de mayo de 2016
(términos)
Condiciones, reglas o argumentos que entran en un debate, una argumentación, etc., o que se establecen para un contrato o relación.
"el comprador y el vendedor estuvieron de acuerdo en los términos del contrato; los particulares, en los términos establecidos por la ley, tendrán derecho a ser indemnizados; situó los términos de la polémica cultural entre defensores del progreso yposmodernos"
Ejemplos de Términos Semejantes:
1. x es semejante con 3x ya que ambos términos tienen la misma literal (x).
2. xy2 es un término semejante a -3y2x ya que ambos tienen la misma literal (xy2 = y2x)
3. 5xyrb es un término semejante con –xyrb
4. 4bx2 no es semejante a 4b2x ya que el literal bx2 no es igual al b2x.
5. 5hk es semejante a 6hk porque tiene la misma literal (hk)
6. 4(jk)3 essemejante a 9j3k3 porque (jk)3 = j3k3
7. 5ty es semejante a 3ty
8. 5kl4 es semejante a -2kl4
9. 68lky5 es semejante a -96lky5
10. 378ab3c2 no es semejante a 378a2b3c
Podemos definir al predicado como lo que se dice sobre el sujeto. Las oraciones denominadas “bimembres” o sea aquellas que están constituidas por dos partes: sujeto y predicado, entendiéndose como predicado a la parte donde se señalala acción realizada por la persona y sus posibles modificaciones. En otras palabras, el predicado es lo que se expresa del sujeto y siempre contiene una o más formas verbales para indicar la acción efectuada por el sujeto. Ejemplos de predicados son los siguientes:
1) El tigre corre rápido.
2) La pareja estaba caminando.
3) El edificio es hermoso.
4) La motoneta es muyrápida.
5) La lección de inglés no es difícil.
6) Mi traje es de color gris.
7) Mi tía Julia se mudó ayer.
8 ) El niño se escondió en su casa.
9) Juan corrió a toda velocidad.
10) La pared se cayó de forma inmediata.
Reglas de inferencia con cuantificadores
devuelve el resultado de aplicar la substitución en la sentencia
eliminación deluniversal: para cualquier sentencia , variable v y término sin variables (ground term)
eliminación del existencial: para cualquier sentencia , variable v y constante k que no aparece en ningún otro lugar de la KB
introducción del existencial: para cualquier sentencia , variable v que no aparece en , y término sin variables g (ground term) que aparece en
Transcripción de Los cuantificadoresJuan Camilo Reyes
Camilo Sierra CUANTIFICADORES QUE SON LOS CUANTIFICADORES? CLASE DE CUANTIFICADORES REGLAS DE INFERENCIA En lógica, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Estas relaciones sintácticas son usadas en el proceso deinferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.
Como se mencionó, la aplicación de una regla de inferencia es un procedimiento puramente sintáctico. Sin embargo, debe también ser el válido, o mejor dicho, preservar la validez. Paraque el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas. TIPOS! Ejemplo 1 Universal Todas las personas de la cuidad Shalala dicen que existen los fantasmas. Del enunciado anterior vamos a sacar dos predicados:
P(x):x es de la ciudad Shalala.
D(x):x dice queexisten los fantasmas.
Esto se traduce:
Para todo x, si P(x) ==> D(x)
<>
Para todo x, si no P(x) ==> no D(x)
<>
Gracias!!! En lógica, teoría de conjuntos y matemáticas en general, los cuantificadores son símbolos utilizados...
Condiciones, reglas o argumentos que entran en un debate, una argumentación, etc., o que se establecen para un contrato o relación.
"el comprador y el vendedor estuvieron de acuerdo en los términos del contrato; los particulares, en los términos establecidos por la ley, tendrán derecho a ser indemnizados; situó los términos de la polémica cultural entre defensores del progreso yposmodernos"
Ejemplos de Términos Semejantes:
1. x es semejante con 3x ya que ambos términos tienen la misma literal (x).
2. xy2 es un término semejante a -3y2x ya que ambos tienen la misma literal (xy2 = y2x)
3. 5xyrb es un término semejante con –xyrb
4. 4bx2 no es semejante a 4b2x ya que el literal bx2 no es igual al b2x.
5. 5hk es semejante a 6hk porque tiene la misma literal (hk)
6. 4(jk)3 essemejante a 9j3k3 porque (jk)3 = j3k3
7. 5ty es semejante a 3ty
8. 5kl4 es semejante a -2kl4
9. 68lky5 es semejante a -96lky5
10. 378ab3c2 no es semejante a 378a2b3c
Podemos definir al predicado como lo que se dice sobre el sujeto. Las oraciones denominadas “bimembres” o sea aquellas que están constituidas por dos partes: sujeto y predicado, entendiéndose como predicado a la parte donde se señalala acción realizada por la persona y sus posibles modificaciones. En otras palabras, el predicado es lo que se expresa del sujeto y siempre contiene una o más formas verbales para indicar la acción efectuada por el sujeto. Ejemplos de predicados son los siguientes:
1) El tigre corre rápido.
2) La pareja estaba caminando.
3) El edificio es hermoso.
4) La motoneta es muyrápida.
5) La lección de inglés no es difícil.
6) Mi traje es de color gris.
7) Mi tía Julia se mudó ayer.
8 ) El niño se escondió en su casa.
9) Juan corrió a toda velocidad.
10) La pared se cayó de forma inmediata.
Reglas de inferencia con cuantificadores
devuelve el resultado de aplicar la substitución en la sentencia
eliminación deluniversal: para cualquier sentencia , variable v y término sin variables (ground term)
eliminación del existencial: para cualquier sentencia , variable v y constante k que no aparece en ningún otro lugar de la KB
introducción del existencial: para cualquier sentencia , variable v que no aparece en , y término sin variables g (ground term) que aparece en
Transcripción de Los cuantificadoresJuan Camilo Reyes
Camilo Sierra CUANTIFICADORES QUE SON LOS CUANTIFICADORES? CLASE DE CUANTIFICADORES REGLAS DE INFERENCIA En lógica, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Estas relaciones sintácticas son usadas en el proceso deinferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.
Como se mencionó, la aplicación de una regla de inferencia es un procedimiento puramente sintáctico. Sin embargo, debe también ser el válido, o mejor dicho, preservar la validez. Paraque el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas. TIPOS! Ejemplo 1 Universal Todas las personas de la cuidad Shalala dicen que existen los fantasmas. Del enunciado anterior vamos a sacar dos predicados:
P(x):x es de la ciudad Shalala.
D(x):x dice queexisten los fantasmas.
Esto se traduce:
Para todo x, si P(x) ==> D(x)
<
Para todo x, si no P(x) ==> no D(x)
<
Gracias!!! En lógica, teoría de conjuntos y matemáticas en general, los cuantificadores son símbolos utilizados...
Leer documento completo
Regístrate para leer el documento completo.