Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...que muitas delas são redundantes, e podem ser provadas com o uso de outras regras. == Regras de Inferência Para Cálculo Proposicional Clássico == ...23 kB (3 156 palavras) - 01h38min de 2 de março de 2025
Resultados no conteúdo das páginas
- {{Sem fontes|data=agosto de 2021}} A '''introdução da conjunção''' é uma [[regra de inferência]] que estabelece que, se dois argumentos A e B são verdadeiros, então a con ...541 byte (84 palavras) - 13h05min de 19 de agosto de 2021
- ...estou vivo; Igualmente, é verdade que se estou vivo, estou respirando. As regras podem ser estabelecidas formalmente como mostrado a seguir: Onde a regra é que sempre que uma instância de "<math>(P \leftrightarrow Q)</math>" aparecer em uma linha da prova, ambos ...2 kB (348 palavras) - 01h41min de 7 de setembro de 2017
- {{sem-fontes|data=Abril de 2013}} ...ão''' é uma [[regra de inferência]] que estabelece que, se a [[conjunção]] de ''A e B'' é verdadeira, então ''A'' é verdadeiro e ''B'' é verdadeiro. ...672 byte (100 palavras) - 18h19min de 30 de abril de 2021
- {{sem-fontes|data=Abril de 2013}} Na [[lógica matemática]], a '''introdução da disjunção''' é uma [[regra de inferência]] que estabelece que, se um argumento é verdadeiro, então a disjunção deste ...1 kB (185 palavras) - 20h40min de 18 de fevereiro de 2025
- ...ado generalizador quantificada, ou [[proposição existencial]]. Na lógica de primeira ordem, é frequentemente utilizada a regra para o [[quantificador e Exemplo: "Rover ama abanar sua cauda. Logo, algo gosta de abanar a cauda." ...2 kB (285 palavras) - 19h33min de 31 de julho de 2017
- {{Reciclagem|data=agosto de 2015}} {{Wikificação|data=agosto de 2015}} ...1 kB (177 palavras) - 13h31min de 29 de dezembro de 2018
- ...mbolo de constante ou variável denotada por ''c''. A regra tem a restrição de que a constante ou variável ''c'' que forem introduzidas pela regra, devem [[Categoria:Regras de inferência]] ...870 byte (150 palavras) - 01h53min de 6 de agosto de 2015
- {{Sem-fontes|data=junho de 2017}} ...r do modus ponens, por exemplo, as ocorrências de ''homem'' são eliminadas de ''Todo homem é mortal, Sócrates é um homem'' para se deduzir ''Sócrates é m ...1 kB (212 palavras) - 14h07min de 18 de junho de 2018
- {{Reciclagem|data=agosto de 2015}} ...=|lingua=inglês}}</ref><ref>Copi e Cohen</ref><ref>Moore e Parker</ref> As regras são usadas para eliminar redundâncias em disjunções e conjunções quando ela ...3 kB (440 palavras) - 20h36min de 20 de janeiro de 2022
- ...a formal]]) é constituído de [[axiomas]] e [[regra de inferência|regras de inferência]] que podem ser usadas para [[prova formal|derivar]] os [[teorema]]s do sis ...uma [[derivação]] é meramente uma [[dedução natural|consequência formal]] de linhas que a precedem. Não deveria haver nenhum elemento pertencente a qual ...2 kB (266 palavras) - 15h34min de 4 de fevereiro de 2020
- {{Sem-fontes|data=junho de 2017}} ...imitam propriedades meta-teóricas da lógica. Lógicas que negam uma ou mais regras estruturais são classificados como lógicas subestruturais. ...3 kB (529 palavras) - 07h19min de 25 de junho de 2017
- ...r codificado em um axioma. Esse é um dos princípios utilizados na [[Lógica de primeira ordem]]. Em símbolos a regra em um esquema de axioma é ...3 kB (492 palavras) - 15h43min de 17 de fevereiro de 2019
- {{Wikificação|data=setembro de 2013}} ...ica proposicional]] que expressa a eliminação da disjunção, veja [[Análise de casos]]''. ...3 kB (482 palavras) - 11h40min de 27 de dezembro de 2023
- ...'' na [[lógica matemática]], estabelece que em uma teoria com [[aritmética de Peano]], para qualquer fórmula P, se é possível demonstrar que “se P é demo Onde ''Bew''(#''P'') significa que a fórmula ''P'' com número de Gödel #''P'' é demonstrável. ...5 kB (942 palavras) - 17h01min de 1 de janeiro de 2022
- ...u estiver vivo". Introdução bicondicional é o [[Converse (logic)|inverso]] de [[eliminação bicondicional]]. A regra pode ser indicada formalmente como: ...ias de "<math>P \to Q</math>" e "<math>Q \to P</math>" aparecer nas linhas de prova, "<math>P \leftrightarrow Q</math>" pode substituí-la na linha seguin ...2 kB (305 palavras) - 13h25min de 29 de dezembro de 2018
- {{Sem fontes|data=maio de 2022}} ...to de partida do processo. O [[Argumento]] é chamado de premissa e o valor de conclusão. As conclusões são deduzidas a partir das premissas. Caso o estad ...8 kB (1 298 palavras) - 00h14min de 5 de março de 2025
- ...ath><sub>j</sub>'' seja uma sentença verdadeira (sob a interpretação usual de '<math>\to </math>'). Estes requisitos asseguram que todas as sentenças [[D ...e verdadeira). Todos os modelos são interpretações que têm o mesmo domínio de discurso daquele que se pretedia, mas outras atribuições para [[Símbolo não ...3 kB (462 palavras) - 05h20min de 30 de março de 2013
- {{Multitag|sfontes|rec|p1=ci|data=dezembro de 2015}} ...agem.Essas regras tratam apenas na posição e da manipulação das sequências de caracteres.Elas não descrevem nada mais da linguagem,como a semantitica(i.e ...2 kB (378 palavras) - 11h26min de 12 de janeiro de 2025
- ...que muitas delas são redundantes, e podem ser provadas com o uso de outras regras. == Regras de Inferência Para Cálculo Proposicional Clássico == ...23 kB (3 156 palavras) - 01h38min de 2 de março de 2025
- ...rdade e pelo menos um de seus antecedentes também o é, então pelo menos um de seus consequentes também precisa ser. ''Dilema construtivo'' é a versão [[D ...>", "<math>R \to S</math>", e"<math>P \lor R</math>" aparecerem numa linha de alguma prova, "<math>Q \lor S</math>" pode ser concluído na linha seguinte. ...2 kB (441 palavras) - 18h22min de 7 de abril de 2024