Resultados da pesquisa

O '''tetralema''' é uma figura que aparece com destaque na lógica da Índia. Afirma que, com referência a qualquer proposição lógica X, existem quatro possibilidades: ...

...suas extensões próprias é consistente. Para teorias da lógica que contêm [[lógica clássica]], isto é o equivalente a perguntar por todas sentenças φ na lingu ...da noção de lógica completa, que diz que toda teoria pode ser formulada na lógica, todas sentenças semanticamente válidas são teoremas demonstráveis. O [[Teo ...

...Q</math> é <math>\neg P \rightarrow \neg Q </math>.<ref>{{Citar web|titulo=Lógica matemática|url=http://bianchi.pro.br/logicamat/logicamatematica.php#a09|obr ...gação|negação dupla]] de qualquer afirmação é equivalente ao original na [[lógica clássica]], a inversa da inversa é logicamente equivalente ao valor condici ...

Kant acreditava que esse princípio era uma [[Imperativo categórico|liberdade categórica]] cujo limite era [[livre-arbítrio]], em oposição à liberdade hipotética de ...amos o princípio de que ''dever implica poder'' numa [[lógica deôntica]] [[Lógica modal|alética]] proposicional como <math>(Op \rightarrow \diamondsuit p)</m ...

...ndicional material|enunciado condicional]] em uma [[Derivação formal|prova lógica]] se eles estão ambos [[Negação|negados]]. É a [[inferência]] da verdade de ...símbolo]] da [[metalógica]] significando que <math /> é uma [[Consequência lógica|consequência sintática]] de <math /> em alguns sistemas lógicos; ...

Em [[lógica matemática]], [[teoria das categorias]], e == Semântica categórica == ...

A '''lógica default''' é uma [[lógica não-monotônica]] proposta por [[Raymon Reiter]] para formalizar o raciocíni ...e expressar fatos como "por default, algo é verdadeiro"; por outro lado, a lógica clássica só pode expressar que algo é verdade ou que algo é falso. ...

...]] como a lógica da [[teoria da informação quântica]] (em analogia exata à lógica clássica sendo fundamentada em [[Categoria fechada cartesiana|categorias fe [[Categoria:Lógica matemática]] ...

...er desambig|texto=Não confundir com [[Tábua de Opostos]].}}No sistema da [[lógica aristotélica]], o '''quadrado das oposições''', também conhecido como '''qu Toda proposição categórica (proposições da forma sujeito-predicado prefixada por um quantificador) pod ...

Na [[lógica]], uma '''teoria de primeira ordem''' é um conjunto de fórmulas que fazem s Uma teoria de primeira ordem ''T'' tem como base uma [[lógica de primeira ordem|linguagem de primeira ordem]] <math>\mathcal{L}_T</math>, ...

Na [[lógica matemática]], o '''teorema Löwenheim-Skolem''', assim denominado em referên ...orema de Löwenheim-Skolem não se sustenta numa lógica mais forte, como a [[lógica de segunda ordem]].<br/> ...

[[Categoria:Lógica categórica]] ...

...o as representações no lambda cálculo tipado dos combinadores básicos da [[lógica combinatória]]. === Semântica categórica === ...

...ática construtiva usa a [[lógica intuicionista]], que é essencialmente a [[lógica clássica]] sem a [[lei do terceiro excluído]]. Esta lei estabelece que, par ...xioma, o [[sistema lógico]] restante tem uma propriedade existencial que a lógica clássica não: sempre que <math>\exists_{x\in X} P(x)</math> é comprovada de ...

...22 de Janeiro de 2016}}</ref> (lógica sentencial) e que é estendida pela [[lógica de segunda ordem]]. As [[Fórmula atômica|sentenças atômicas]] da lógica de primeira ordem têm o formato ''P'' (''t''₁,…, ''t''<sub>n</su ...

...mo a lógica da [[teoria da informação quântica]] (no mesmo sentido que a [[lógica intuicionista]] surge das [[categoria fechada cartesiana|categorias cartesi ...festa se o qubit for transformado unitariamente (por exemplo, pelo [[Porta lógica quântica#Porta Hadamard|portão quântico de Hadamard]]) para ser polarizado ...

...outros matemáticos, o axioma da escolha foi satisfatoriamente modelado em lógica simbólica, resultando na teoria de conjuntos padrão da matemática contempor ...erado digno de nota quando um teorema em ZFC (ZF mais AC) é [[Equivalência lógica|logicamente equivalente]] (com apenas os axiomas de ZF) ao Axioma da Escolh ...

...um raciocínio que é logicamente incorreto, prejudica a [[Validade|validade lógica]] de um [[argumento]], ou é visto como instável. Todas as formas de comunic Uma falácia formal é um erro na construção de um [[Forma lógica|argumento]].{{Sfn|Bunnin|Yu|2008}} Todas as falácias formais são tipos de { ...

...|folhas]] representam rótulos de classe e os ramos representam [[Conjunção lógica|conjunções]] de características que levam a esses rótulos de classe. As árv * '''Capaz de lidar com dados numéricos e [[Variável categórica|categóricos]].'''<ref name=":0" /> Outras técnicas geralmente são especiali ...