About: Scope (logic)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Scope (logic) Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FScope_%28logic%29&invfp=IFP_OFF&sas=SAME_AS_OFF

In logic, the scope of a quantifier or a quantification is the range in the formula where the quantifier "engages in". It is put right after the quantifier, often in parentheses. Some authors describe this as including the variable put right after the forall or exists symbol. In the formula ∀xP, for example, P (or xP) is the scope of the quantifier ∀x (or ∀).

Attributes	Values
rdfs:label	Ambito (logica) (it) Scope (logic) (en) Escopo (lógica) (pt)
rdfs:comment	In logic, the scope of a quantifier or a quantification is the range in the formula where the quantifier "engages in". It is put right after the quantifier, often in parentheses. Some authors describe this as including the variable put right after the forall or exists symbol. In the formula ∀xP, for example, P (or xP) is the scope of the quantifier ∀x (or ∀). (en) Em lógica, o escopo de um quantificador ou de uma quantificação é o intervalo na fórmula onde o quantificador "se encaixa". Ele é colocado logo após o quantificador, muitas vezes entre parênteses. Alguns autores descrevem o escopo como incluindo a variável logo após o símbolo do quantificador universal ou do quantificador existencial. Na fórmula ∀xP, por exemplo, P (ou xP) é o escopo do quantificador ∀x (ou ∀). (pt)
dcterms:subject	Quantifier (logic) Predicate logic Mathematical terminology
Wikipage page ID	48347082 (xsd:integer)
Wikipage revision ID	1070603114 (xsd:integer)
Link from a Wikipage to another Wikipage	Quantifier (logic) Logic Free variable Well-formed formula Quantifier (logic) Predicate logic Term (logic) Mathematical terminology Modal scope fallacy
sameAs	Scope (logic) Scope (logic) Scope (logic) Scope (logic)
dbp:wikiPageUsesTemplate	dbt:Math dbt:Refimprove dbt:Reflist
has abstract	In logic, the scope of a quantifier or a quantification is the range in the formula where the quantifier "engages in". It is put right after the quantifier, often in parentheses. Some authors describe this as including the variable put right after the forall or exists symbol. In the formula ∀xP, for example, P (or xP) is the scope of the quantifier ∀x (or ∀). A variable in the formula is free, if and only if it does not occur in the scope of any quantifier for that variable. A term is free for a variable in the formula (i.e. free to substitute that variable that occurs free), if and only if that variable does not occur free in the scope of any quantifier for any variable in the term. (en) Em lógica, o escopo de um quantificador ou de uma quantificação é o intervalo na fórmula onde o quantificador "se encaixa". Ele é colocado logo após o quantificador, muitas vezes entre parênteses. Alguns autores descrevem o escopo como incluindo a variável logo após o símbolo do quantificador universal ou do quantificador existencial. Na fórmula ∀xP, por exemplo, P (ou xP) é o escopo do quantificador ∀x (ou ∀). Uma variável na fórmula está livre, se e somente se ela não ocorrer dentro do escopo de qualquer quantificador para essa variável. Um termo está livre para uma variável na fórmula (i.e. livre para substituir essa variável que ocorre livre), se e somente se a variável não ocorre livre no escopo de qualquer quantificador para qualquer variável no termo. (pt)
prov:wasDerivedFrom	wikipedia-en:Scope_(logic)?oldid=1070603114&ns=0
page length (characters) of wiki page	1498 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Scope_(logic)
is Link from a Wikipage to another Wikipage of	Modal logic Universal quantification De dicto and de re Donkey sentence Prenex normal form Skolem normal form Modal operator Rigid designator Quantifier (logic) Jaegwon Kim Scope Negative raising Scope of a quantification
is Wikipage redirect of	Scope of a quantification
is Wikipage disambiguates of	Scope
is foaf:primaryTopic of	wikipedia-en:Scope_(logic)

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software