Resultados da pesquisa

[[Categoria:Declarações]] ...

...as de utilizar a introdução da negação é usada quando queremos provar duas declarações contraditórias a partir de um único fato. Por exemplo, se uma pessoa diz qu ...

Uma '''lógica infinitária''' é uma lógica que permite [[Declaração (lógica)|declarações]] infinitamente longas e/ou [[Prova matemática|provas]] infinitamente longa ...declaração pode ser um “axioma lógico”, um elemento de T, ou é deduzido de declarações prévias usando uma regra de interferência. Como antes, todas as regras de i ...

...cial (ou seja, que implicam a existência de algo) o mesmo não valendo para declarações universalmente quantificadas. Esta interpretação supostamente resultam de [ ...

...uma [[Logica bicondicional|bicondicional]] de duas [[Material conditional|declarações condicionais]]. A regra torna possível introduzir uma declaração bicondicio ...

* Raciocinando sobre o conhecimento, sempre que as declarações especificadas que algo não é conhecido necesitaram de ser recolhidas quando ...

Declarações na lógica temporal são da forma <math>[A]_t</math>, onde ''A'' é a ação e ' ...

...e sabe-se que exatamente um deles é um lobisomem. Eles fazem as seguintes declarações: Desta vez, temos as seguintes declarações: ...

...[[Antecedente (lógica)|antecedentes conjuntivos]]  sejam substituídos por declarações com [[consequente]]s condicionais e vice-versa, em [[Derivação formal|prov ...

...el determinar se uma dada distribuição é coerente com ela. Por exemplo, as declarações são declarações de informações testáveis. ...

...n Friedrich Daniel Schubart]], lá maior é uma tonalidade conveniente para "declarações de amor inocente, ... a esperança de ver o amado novamente depois de partir ...

IEm seu quadro, declarações de subtipo são propagadas para expressões do tipo complexo. Como um exemplo, asumindo declarações de subtipos <math>\textit{even} \subseteq \textit{int}</math> e <math>\text ...

...icam a funcionalidade disponibilizada através de comentários ou através de declarações lógicas formais (''assertions'').<ref>{{Citar web |url=http://www.csse.mona ...

...iam com o tempo. Contraste isso com lógica atemporal, que só pode discutir declarações cujo valor-verdade é constante independente do tempo. Esse tratamento de va ...ais com fome." Se nós não sabemos se ''eu'' serei ou não alimentado, essas declarações são ambas verdadeiras algumas vezes. ...

...o motivadas conceitualmente pelo fato de que as [[ Modalidade linguística |declarações modais]] da [[Língua natural|linguagem natural]] dependem de alguns, mas nã ...

Estas declarações determinam os comutadores ...

...is geral, na [[Construtivismo (matemática)|matemática construtivista]], as declarações (sentenças) têm [[valor de verdade]] somente se elas dispuserem de uma prov ...

Suponha que temos um grafo conexo G = (V, E), as seguintes declarações são equivalentes: ...

...icam a funcionalidade disponibilizada através de comentários ou através de declarações lógicas formais (''assertions'').<ref>{{Citar web |url=http://www.csse.mona ...

...urtas. Essa linguagem interna implicitamente representa a probabilidade de declarações. ...uma condição não pode ser preferida em detrimento de outra, então todas as declarações são igualmente prováveis.<ref>{{citar web|último1 =Carnap|primeiro1 =Rudolf ...