20/01/2020, 05:16:18 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: LISTADO ACTUALIZADO DE CURSOS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Algo de lógica  (Leído 2226 veces)
0 Usuarios y 1 Visitante están viendo este tema.
adriana
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Mensajes: 2


Ver Perfil
« : 14/02/2007, 13:28:53 pm »

Por fa, ¿será que alguien me puede ayudar?
Por lo que que he leído veo que son unos duros y me achicopalan un poco.

Tal vez le parezca muy trivial mi consulta, pero necesito que me ayuden con un par de ejemplos de proposiciones abiertas y cerradas con cuantificadores existenciales y universales.

Les agradezco y les deseo paz y bien.
Espero pronta respuesta, Adriana.
En línea
germanzorba
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 189


Ver Perfil
« Respuesta #1 : 14/02/2007, 13:47:26 pm »

No sé qué sea una proposición abierta o cerrada.

Un "cuantificador existencial" corresponde a frases en español del estilo:

"Existe algún ... que ...". Por ejemplo: "Hay aves que no vuelan"

Un "cuantificador universal" corresponde a frases en español del estilo:

"A todos los ... les pasa tal cosa". Por ejemplo: "Los hombres viven en sociedad"

Trata de pensar en los significados, más que en las estructuras, cuando te acostumbras resulta más fácil.

Espero no achicopalarte

Salud

Germán
En línea
Numerarius
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 319


Ver Perfil
« Respuesta #2 : 14/02/2007, 13:51:39 pm »

Simplemente, una fórmula es cerrada cuando todas las variables están cuantificadas. Es abierta, si hay alguna variable no cuantificada.

[texx]\forall{}[/texx] x P(x) es cerrada

[texx]\forall{}[/texx] x P(x)[texx]\rightarrow{}[/texx]Q(y) es abierta.
En línea

Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!