Diferencia entre revisiones de «Dominio de referencia»
Contenido eliminado Contenido añadido
Deshecha la edición 30434718 de Luis Felipe Schenone (disc.) Este no es el artículo para lo q escrbí. |
Deshecha la edición 30434709 de Luis Felipe Schenone (disc.) Este no es el artículo para lo q escrbí. |
||
| Línea 1: | Línea 1: | ||
{{wikci}} |
|||
En [[lógica]], el '''dominio de discurso''', también llamado '''universo de discurso''', o simplemente '''dominio''', es el conjunto de cosas acerca de las cuales se habla en un determinado contexto.<ref>{{cita enciclopedia |apellido=Kirwan |nombre=Christopher |título=domain |idioma=inglés |url=http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t116.e664 |enciclopedia=The Oxford Companion to Philosophy |editorial=Oxford University Press |fechaacceso=9 de octubre de 2009}}</ref> Dependiendo del dominio de discurso, una misma [[proposición]] podrá ser verdadera o falsa. Por ejemplo, al decir "todos son amigos", si se está hablando acerca de un pequeño grupo de personas, la proposición quizás sea verdadera, pero si se está hablando acerca de todo el mundo, entonces es falsa. |
|||
'''Dominio de referencia''' es la denominación en [[Cálculo de primer orden|lógica de predicados]] del [[conjunto]] no vacío de ''individuos'' distinguibles entre sí, en el que se definen relaciones y propiedades de estos últimos. |
|||
Por convención, el dominio de discurso es siempre un [[Conjunto vacío|conjunto no vacío]]. |
|||
== Véase también == |
|||
* [[Dominio de definición]] |
|||
* [[Cuantificador]] |
|||
== Notas y referencias == |
|||
{{listaref}} |
|||
[[Categoría:Lógica]] |
[[Categoría:Lógica]] |
||
Revisión del 03:03 9 oct 2009
Plantilla:Wikci Dominio de referencia es la denominación en lógica de predicados del conjunto no vacío de individuos distinguibles entre sí, en el que se definen relaciones y propiedades de estos últimos.