[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [escepticos] RE: Agnosticismo



> ...[suprimido]
>
>  > En lógica formal un cuantificador existencial solo es una generalización
>  > del operador lógico "o inclusivo" y el universal una generalización de
>  > la *disyunción *lógica.
>
> A un nivel intuitivo informal puede verse asi, pero la logica de
> proposiciones y la logica de predicados son dos cosas muy distintas.
>
> ...[suprimido] sustituyase *disyunción * por conjuncion y por otra parte
> ponme un contraejemplo en el que un cuantificador no es una generalización
> de una conectiva.

Saludos pepet

Pdata. Por pasarme trasteando en el ordenata tuve que reinstalar (de la nada)
mi linux tengo 283 mensajes acumulados, pues he estado desconectado tres días
por lo que si no contesto a alguien no me lo tome por un desplante
 resaludos pepet