Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...], o '''cálculo proposicional implicacional''' é um fragmento do [[cálculo proposicional]] clássico (bivalente) que usa somente um [[conectivo lógico|conectivo]], c Considere ''P'' como uma variável proposicional que ainda não foi eliminada das hipóteses. Usando o metateorema da dedução, ...9 kB (1 387 palavras) - 21h49min de 2 de março de 2023
Resultados no conteúdo das páginas
- ...ras de inferência]] [[validade|validas]] da [[cálculo proposicional|lógica proposicional]]. Ela permite [[inferência|inferir]] um [[material condicional|condicional ...dade funcional [[Tautologia (lógica)|tautologia]] ou [[teorema]] da lógica proposicional: ...2 kB (348 palavras) - 01h41min de 7 de setembro de 2017
- ...[Sistema de Hilbert|Sistemas de dedução ao estilo de Hilbert]] da [[lógica proposicional]]. == Sistemas de cálculo proposicional clássico == ...19 kB (3 691 palavras) - 21h16min de 11 de março de 2025
- ...' o número de valores que o sistema permite (sempre 2 no caso do [[cálculo proposicional]] clássico) e ''t'' o número de termos que a fórmula contém; assim, se uma == Tabelas das principais operações do cálculo proposicional == ...9 kB (1 629 palavras) - 17h38min de 17 de abril de 2024
- === Cálculo proposicional === No [[lógica proposicional|cálculo proposicional]] da lógica matemática, a ''redução ao absurdo'' pode expressar-se da segui ...7 kB (1 128 palavras) - 02h59min de 27 de dezembro de 2022
- Procede-se da mesma maneira em [[lógica]], tal como no chamado [[cálculo proposicional]]. Por exemplo, em notação quase-formal, distinguimos ((''P'' ou ''Q'') e ' ...scopo]] podem ser geradas, também, quando estão envolvidos operadores do [[cálculo de predicados]], ou seja os quantificadores existenciais e universais, em p ...5 kB (765 palavras) - 17h02min de 12 de outubro de 2021
- ...ção e raciocínio do conhecimento sobre o conhecimento. Enquanto a [[lógica proposicional]] pode apenas expressar fatos, a lógica autoepistêmica pode exprimir conhec A [[sintaxe]] da lógica autoepistêmica estende aquela da lógica proposicional por um operador modal <math>\Box</math> indicando conhecimento: se <math>F< ...7 kB (1 031 palavras) - 12h38min de 27 de dezembro de 2023
- [[Álgebra booleana]] e ao operador [[se e somente se]] no [[cálculo proposicional]].Ele "retorna" o valor verdadeiro se os dois argumentos têm o mesmo [[valo * [[Cálculo proposicional]] ...4 kB (638 palavras) - 12h27min de 10 de outubro de 2024
- ...], o '''cálculo proposicional implicacional''' é um fragmento do [[cálculo proposicional]] clássico (bivalente) que usa somente um [[conectivo lógico|conectivo]], c Considere ''P'' como uma variável proposicional que ainda não foi eliminada das hipóteses. Usando o metateorema da dedução, ...9 kB (1 387 palavras) - 21h49min de 2 de março de 2023
- * [[Cálculo proposicional]] ...2 kB (322 palavras) - 16h02min de 6 de janeiro de 2023
- Na [[lógica matemática]], a '''lógica superintuicionista''' é a [[lógica proposicional]] estendendo a [[lógica intuicionista]]. [[Lógica clássica]] é a lógica sup ...o_inicial_(matemática)|segmento inicial]] de ''F''. O conjunto de fórmulas proposicional que são válidos em ''F'' são lógica intermediária. Dada a lógica intermediá ...7 kB (1 119 palavras) - 12h39min de 27 de dezembro de 2023
- * Tautologias da lógica proposicional == Cálculo livre de conectivos lógicos == ...6 kB (997 palavras) - 11h23min de 30 de outubro de 2024
- |[[cálculo proposicional|lógica proposicional]] |[[cálculo proposicional|lógica proposicional]] ...23 kB (3 391 palavras) - 00h18min de 16 de maio de 2024
- Em lógica, no Cálculo Quantificacional Clássico as constantes podem ser divididas em dois grupos: Em lógica, mais precisamente em lógica clássica proposicional de primeira ordem uma constante representa uma função "0-ária" (zero-ária). ...5 kB (837 palavras) - 14h57min de 27 de dezembro de 2022
- Nas versões axiomáticas da lógica proposicional, algumas geralmente têm nelas esquemas axiomáticos (onde ''P'',''Q'', e ''R ...é análogo ao processo de conversão termo a termo da lógica combinatória em cálculo lambda, onde 1 corresponde ao ''K'' combinador, e o axioma 2 corresponde ao ...12 kB (2 182 palavras) - 18h58min de 7 de junho de 2020
- ...onal|<nowiki/>]] que pode ser percebido como uma versão reduzida do [[cálculo lambda]] não tipado. Ele pode ser pensado como uma linguagem de programação Todas as operações em cálculo lambda são expressas em SKI como [[Árvore binária|árvores binárias]], cujas ...12 kB (1 800 palavras) - 22h21min de 10 de dezembro de 2022
- ...]] - sendo assim, a escolha de conectivos básicos faz diferença. Na lógica proposicional intuicionista é usual utilizar <math>\,\rightarrow</math>, <math>\,\land</m === Cálculo à la Hilbert === ...20 kB (3 356 palavras) - 19h59min de 25 de novembro de 2024
- ...considera tanto para cálculos, porém divide-os em um cálculo informal e um cálculo formal.</ref> *[[Lógica proposicional]] ...4 kB (658 palavras) - 22h10min de 13 de abril de 2019
- ...ue um exemplo de uma função lógica (para melhor entendimento veja [[Lógica Proposicional]]). {{Wikilivros|Lógica|Cálculo Proposicional Clássico/Funções de Verdade e Valorações}} ...10 kB (1 462 palavras) - 18h14min de 28 de novembro de 2019
- == Regras de Inferência Para Cálculo Proposicional Clássico == ...23 kB (3 156 palavras) - 01h38min de 2 de março de 2025
- Um sistema formal (também chamado de cálculo lógico, ou sistema lógico) consiste de uma linguagem formal junta com um [[ * Prova da consistência da [[lógica proposicional]] vero-funcional ([[Emil Post]] 1920) ...9 kB (1 408 palavras) - 23h29min de 26 de junho de 2020