Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...m sistema da lógica matemática que representa os príncipios e operações da lógica proposicional . As proposições, de acordo com a lógica clássica, devem observar os seguintes princípios (entre outros): ...7 kB (1 125 palavras) - 20h55min de 8 de setembro de 2024
Resultados no conteúdo das páginas
- {{Navegação| [[Lógica: Cálculo Proposicional Clássico|Voltar para o Índice de Cálculo Proposicion ||[[Lógica: Cálculo Proposicional Clássico: Operadores e Tabelas de Verdade|Operadores ...4 kB (568 palavras) - 04h56min de 11 de junho de 2011
- ...cional Clássico|Voltar para o índice de Cálculo Proposicional Clássico]]|[[Lógica: Cálculo Proposicional Clássico: Axiomática|Axiomática]]|}} ...de trinta como uma tentativa (bem-sucedida) de demostrar a consistência da lógica proposicional clássica. ...4 kB (674 palavras) - 04h52min de 22 de outubro de 2008
- ==Resolução dos Exercícios de [[Lógica: Cálculo Proposicional Clássico: Dedução Natural - Parte I#Regras de Inferê ==Resolução dos Exercícios de [[Lógica: Cálculo Proposicional Clássico: Dedução Natural - Parte I#Trabalhando com ...9 kB (1 217 palavras) - 04h53min de 22 de outubro de 2008
- ...m sistema da lógica matemática que representa os príncipios e operações da lógica proposicional . As proposições, de acordo com a lógica clássica, devem observar os seguintes princípios (entre outros): ...7 kB (1 125 palavras) - 20h55min de 8 de setembro de 2024
- ==Resolução de algumas [[Lógica: Cálculo Proposicional Clássico: Dedução Natural - Parte II#Regras de Infer ====[[Lógica: Cálculo Proposicional Clássico: Dedução Natural - Parte II#Contraposição ( ...50 kB (6 520 palavras) - 11h21min de 2 de agosto de 2022
- {{Navegação| [[Lógica: Cálculo Proposicional Clássico|Voltar para o Índice de Cálculo Proposicion ...ssico: Operadores e Tabelas de Verdade|Operadores e Tabelas de Verdade]]|[[Lógica: Cálculo Proposicional Clássico: Implicação Semântica|Implicação Semântica] ...10 kB (1 172 palavras) - 04h53min de 22 de outubro de 2008
- ...sicional Clássico: Dedução Natural - Parte I|Dedução Natural - Parte I]]|[[Lógica: Cálculo Proposicional Clássico: Axiomática|Axiomática]]}} [[Lógica: Cálculo Proposicional Clássico: Dedução Natural - Parte II/Resolução dos E ...35 kB (4 752 palavras) - 21h53min de 29 de março de 2011
- {{Navegação| [[Lógica: Cálculo Proposicional Clássico|Voltar para o Índice de Cálculo Proposicion ...culo Proposicional Clássico: Implicação Semântica|Implicação Semântica]]|[[Lógica: Cálculo Proposicional Clássico: Tablôs semânticos|Tablôs semânticos]]}} ...18 kB (2 638 palavras) - 04h51min de 22 de outubro de 2008
- ...cional Clássico: Dedução Natural - Parte II|Dedução Natural - Parte II]]|[[Lógica: Cálculo Proposicional Clássico: Cálculo de Sequêntes|Cálculo de Sequêntes] [[Categoria:Lógica Matemática|{{SUBPAGENAME}}]] ...34 kB (6 379 palavras) - 04h52min de 22 de outubro de 2008
- ...que representa uma igualdade. Elas são representadas através de [[relação (matemática)|relações]] que não são de [[relação de equivalência|equivalência]]. ...nequações''' é a combinação dos <math>\Phi_i\,</math> usando as conexões [[lógica]]s E e OU. ...2 kB (370 palavras) - 23h45min de 29 de maio de 2013
- {{Navegação| [[Lógica: Cálculo Proposicional Clássico|Voltar para o Índice de Cálculo Proposicion ...ssico: Funções de Verdade e Valorações|Funções de Verdade e Valorações]]|[[Lógica: Cálculo Proposicional Clássico: Dedução Natural - Parte I|Dedução Natural ...15 kB (2 576 palavras) - 17h54min de 2 de fevereiro de 2019
- ...: center; font-size: 228%; line-height: 1.2">'''Biblioteca do Instituto de Matemática e Estatística'''</p> ...n: center; font-size: 122%; line-height: 1.2">''Fundamentos e Filosofia da Matemática''</p> ...11 kB (1 525 palavras) - 01h54min de 29 de abril de 2012
- ...a: Cálculo Proposicional Clássico: Tablôs semânticos|Tablôs semânticos]]|[[Lógica: Cálculo Proposicional Clássico: Dedução Natural - Parte II|Dedução Natural Nas disciplinas matemáticas como a lógica, a geometria, a aritmética etc., é preferível demonstrar o máximo (de teore ...20 kB (2 984 palavras) - 13h49min de 25 de agosto de 2020
- {{Navegação| [[Lógica: Cálculo Proposicional Clássico|Voltar para o Índice de Cálculo Proposicion ...dições e Tautologias|Fórmulas Contingentes, Contradições e Tautologias]]|[[Lógica: Cálculo Proposicional Clássico: Funções de Verdade e Valorações|Funções de ...35 kB (4 982 palavras) - 09h29min de 29 de março de 2018
- {{Navegação| [[Lógica: Cálculo Proposicional Clássico|Voltar para o Índice de Cálculo Proposicion ...álculo Proposicional Clássico|O que é o Cálculo Proposicional Clássico]]|[[Lógica: Cálculo Proposicional Clássico: Fórmulas Contingentes, Contradições e Taut ...39 kB (5 508 palavras) - 12h27min de 11 de março de 2019
- ...[Lógica Tradicional: Princípios e as Proposições Categóricas#Princípios da Lógica tradicional#Identidade|Princípio de identidade]]) etc. ...</sup>. Dentro da primeira categoria de conhecimento estaria a Matemática (Lógica, Geometria, Aritmética, Álgebra etc.) e pretensamente a Metafísica. Já a se ...12 kB (2 073 palavras) - 16h30min de 25 de maio de 2019
- == Notação lógica == ...cas que a Wikipedia da lingua inglesa para [[w:en:First-order_logic#Syntax|Lógica de primeira ordem]]. <br/>Algumas restrições ou extensões podem ser adotada ...14 kB (2 249 palavras) - 12h53min de 18 de março de 2018
- ...deria existir. Mas ele não conseguiu refutar os argumentos de Hipaso com a lógica, e a lenda diz que Pitágoras condenou seu seguidor ao afogamento. *[[número algébrico|Números reais algébricos irracionais]]: são [[raiz (matemática)|raízes]] de [[polinômio]]s com coeficientes inteiros. Todo número real que ...5 kB (759 palavras) - 11h40min de 24 de fevereiro de 2011
- ...ncia|distância]] entre dois números reais é dada pela fórmula [[w:Métrica (matemática)#Exemplos|<math>d(a,b)=|a-b|</math>]]. Assim, usando essa fórmula podemos d ...atemática, podemos reescrever a definição anterior usando as notações do [[Lógica: Cálculo Quantificacional Clássico|cálculo quantificacional clássico]]. Ass ...28 kB (4 839 palavras) - 17h54min de 9 de março de 2015
- ...'Qualtrics:''' Plataforma robusta com opções avançadas de personalização, lógica de questionários e análise de dados. # '''Organização lógica dos dados''': Organize os dados de forma lógica e significativa, agrupando informações relacionadas. Utilize linhas e colun ...143 kB (23 297 palavras) - 13h42min de 18 de janeiro de 2025