Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...lógica. Esses símbolos não são explicados cada vez que são usados pois os lógicos já são familiarizados estudantes da lógica, a tabela a seguir lista os símb == Símbolos lógicos básicos == ...25 kB (3 442 palavras) - 15h20min de 9 de abril de 2024
Resultados no conteúdo das páginas
- ...ma ideia análoga pode ser vista na distinção entre [[Axioma lógico|axiomas lógicos]] e os axiomas “próprios”, “profissionais” da teoria específica que se está ...atemática|constante]]s, por serem funções 0-árias, são também símbolos não-lógicos. ...2 kB (323 palavras) - 18h50min de 15 de maio de 2016
- ...or auto-suficiente, pois derivam ou generalizam todas os outros operadores lógicos, o que denota '''[[completude funcional]]. Na passagem citada, Peirce introduz o termo anfeque para os operadores lógicos binários que são atualmente chamados de [[negação conjunta]] em lógica, o o ...2 kB (363 palavras) - 02h45min de 10 de janeiro de 2023
- ...implicação]] é monotônica se e somente se a regra for admissível. Sistemas lógicos com essa propriedade são ocasionalmente chamados de lógicas monotônicas de ...2 kB (308 palavras) - 01h41min de 23 de outubro de 2017
- <p style="font-family:georgia;font-size:1.7em;text-align:center">''Símbolos lógicos''</p> ...1 012 byte (168 palavras) - 20h54min de 3 de junho de 2018
- ...ença fundamental de comportamento entre estes operadores e os [[conectivos lógicos]] pelos quais são interpretados no [[cálculo de sequentes]]: os operadores ...struturais exibidos de apoio [[lógica]] tão complexos como os [[conectivos lógicos]], exigem um tratamento sofisticado. ...3 kB (547 palavras) - 13h49min de 27 de dezembro de 2023
- ...mpostas são formadas combinando as fórmulas atômicas utilizando conectivos lógicos. ...s termos ''t''<sub>''k''</sub>, ou uma expressão composta por [[Conectivos lógicos]] (e, ou) e [[Quantificação|quantificadores]] (para-todo, existe) utilizado ...4 kB (612 palavras) - 18h09min de 25 de julho de 2017
- Os axiomas lógicos da APR são: Os axiomas não-lógicos são: ...6 kB (997 palavras) - 11h23min de 30 de outubro de 2024
- ...ortas lógicas é conhecido pela [[tabela verdade]] que apresenta os estados lógicos das entradas e das saídas. ...6 kB (846 palavras) - 15h03min de 3 de outubro de 2021
- [[Categoria:Lógicos da Ucrânia]] [[Categoria:Lógicos da Rússia]] ...3 kB (434 palavras) - 14h06min de 14 de outubro de 2016
- ...a ordem]]) com um conjunto de nomes de variáveis e também com símbolos não-lógicos estruturados de tal forma que para cada um deles deve-se saber se ele é usa ...u uma operação. É uma função especial a partir do sistema dos símbolos não-lógicos de <math>\mathcal L</math> para o sistema de relações e operações de <math> ...5 kB (865 palavras) - 15h38min de 1 de setembro de 2021
- ...]] de <math>((P \land Q) \to R)</math> em alguns [[Sistema formal|sistemas lógicos]]; ...ath>R</math> são proposições expressas em alguns [[Sistema formal|sistemas lógicos]]. ...3 kB (505 palavras) - 13h46min de 29 de dezembro de 2018
- ...podem ser usados na interface entre dois diferentes tipos de dispositivos lógicos, possivelmente operando em tensões diferentes.<ref>"Pull up resistor / Pull ...de o dispositivo lógico não pode fornecer corrente, tais como dispositivos lógicos TTL de coletor aberto. Tais saídas são usadas para conduzir em dispositivos ...6 kB (972 palavras) - 21h17min de 1 de julho de 2020
- ...''assinatura''' compreende o conjunto de [[símbolo não-lógico|símbolos não-lógicos]] que caracteriza uma [[linguagem formal]]. * particionar o conjunto de [[símbolos não-lógicos]] em duas classes: nomes para função e nomes para relação (ou associar um v ...7 kB (1 163 palavras) - 14h51min de 28 de junho de 2020
- ou, utilizando operadores lógicos: ...1 kB (185 palavras) - 20h40min de 18 de fevereiro de 2025
- {{Símbolos lógicos comuns}} ...1 kB (210 palavras) - 13h59min de 12 de dezembro de 2016
- ...que ficou conhecido como Escola Lógica da Varsóvia, ou Escola Polonesa de Lógicos, da qual fazia parte [[Alfred Tarski]]. Durante este período casou com Regi ...em referência à nacionalidade de seu criador. Nesta notação, os conectivos lógicos são pré-fixados ao invés de in-fixados como ocorre na notação usual. Aquilo ...6 kB (969 palavras) - 15h56min de 8 de setembro de 2024
- ...''' ditam como os [[quantificadores]] se distribuem através dos conectivos lógicos básicos da [[lógica de primeira ordem]]. As regras de tradução determinam c ...2 kB (290 palavras) - 13h30min de 29 de dezembro de 2018
- * [[Lista de símbolos lógicos]] {{Símbolos lógicos comuns}} ...5 kB (712 palavras) - 08h43min de 22 de novembro de 2018
- ...ath> apenas no caso em que não há ''substituição uniforme'' dos termos não-lógicos em <math>\Gamma </math> / <math>\mathrm{A} </math> gera um argumento com pr ...enhuma forma de ''[[interpretação (lógica) | interpretar]]'' os termos não-lógicos em <math>\Gamma </math> / <math>\mathrm{A} </math> que geram um argumento c ...10 kB (1 634 palavras) - 13h39min de 23 de janeiro de 2024
- ...Hasse diagram.svg|300px|direita|thumb|[[Diagrama de Hasse]] dos conectivos lógicos.]] Os conectivos lógicos mais comuns são os '''conectivos binários''' (também chamados de '''conecti ...15 kB (2 330 palavras) - 19h18min de 22 de julho de 2023