Autor Tema: Preguntas acerca de la lógica de predicados

0 Usuarios y 1 Visitante están viendo este tema.

16 Abril, 2016, 08:58 pm
Leído 826 veces

sergioswim

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 189
  • Karma: +0/-0
  • Sexo: Masculino
Hola a todos en el foro, tengo unas inquietudes acerca de la lógica de predicados, considero que son preguntas simples. pero si no se aclaran, mas adelante me pueden traer problemas.

Primera pregunta

¿Como se lee una expresión de esta forma \( (\forall{x}) \)(\( p(x) \)) o \( (\exists{x}) \)(\( p(x) \))? Si pueden darme ejemplos, lo apreciaría mucho.

Segunda pregunta

Cuando tengo una expresión de este tipo: \( (\forall{x}) \)(\( p(x) \)) o \( (\exists{x}) \)(\( p(x) \)) , donde especifico el universo? Asumamos que el universo es el conjunto de los números reales. Hay dos opciones: a) \( (\forall{x\in{ ℝ})} \)(\( p(x) \)) o b) \( (\forall{x}) \)(\( x\in{ℝ}\Rightarrow{p(x)} \)). ¿Cual de estas opciones es?

Tercera pregunta

Dadas dos variables en una proposición abierta, y estas representan al mismo conjunto(Digamos ℝ).  ¿Las dos variables tienen que reemplazarse por un mismo elemento del conjunto?

Cuarta pregunta

Diferencia entre (\( \forall{x} \))(\( p(x)\wedge g(x) \)) y \( (\forall{x,y)} \)(\( p(x,y) \)).

Muchas gracias por las colaboraciones

Saludos.

ACTUALIZACION: lo siento por los errores, los corregí en su mayoría