O Que é RULE OF INFERENCE em Português

• regra de inferência

Exemplos de uso de Rule of inference em Inglês e suas traduções para o Português

It is very closely related to the rule of inference modus tollens.
Ela é estreitamente relacionada com a regra de inferência modus tollens.

Logical truth and rules of inference==The concept of logical truth is closely connected to the concept of a rule of inference.
Verdade lógica e regras de inferência==O conceito de verdade lógica é muito próximo do conceito de uma regra de inferência lógica.

Absorption is a valid argument form and rule of inference of propositional logic.
Absorção é uma forma lógica de argumento válido e uma regra de inferencia da lógica proposicional.

This is often called the"law of contrapositive", or the"modus tollens" rule of inference.
Isso é, normalmente, chamado de"lei da contrapositiva", ou de regra de inferência"modus tollens.

Negation introduction is a rule of inference, or transformation rule, in the field of propositional calculus.
Introdução da negação é uma Regra de Inferência ou Regra de Transformação, no campo do cálculo preposicional.

In mathematics, proof by contraposition is a rule of inference used in proofs.
Em matemática, a prova por contraposição(ou prova pela contrapositiva) é uma regra de inferência utilizada em provas.

In propositional logic, modus ponens(/ˈmoʊdəs ˈpoʊnɛnz/; MP; also modus ponendo ponens(Latin for"mode that affirms by affirming") or implication elimination) is a rule of inference.
Na lógica proposicional, modus ponendo ponens(em latim significa"a maneira que afirma afirmando", muitas vezes abreviado para MP ou modus ponens) ou a eliminação da implicação é uma válida e simples forma de argumento e regra de inferência.

However, if a formal system is introduced where modus ponens is simply a rule of inference defined by the system, then it can be abided by simply because it is so.
No entanto, se o sistema formal é introduzido onde modus ponens é simplesmente uma regra de inferência definida pelo sistema.

The concept of logical truth is closely connected to the concept of a rule of inference.
O conceito de verdade lógica é muito próximo do conceito de uma regra de inferência lógica.

In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic.
O princípio da resolução é uma regra de inferência que dá origem a uma técnica de demonstração por refutação para sentenças e inferências da lógica proposicional e da lógica de primeira ordem.

In a Hilbert-style deduction system, a formal deduction is a finite sequence of formulas in which each formula is either an axiom or is obtained from previous formulas by a rule of inference.
Em um sistema de dedução de Hilbert, uma dedução formal é uma seqüência finita de fórmulas em que cada fórmula é um axioma ou é obtido a partir de fórmulas anteriores por uma regra de inferência.

Axiom schema 3(Peirce's law) is((P→ Q)→ P)→ P. The one non-nullary rule of inference(modus ponens) is: from P and P→ Q infer Q. Where in each case, P, Q, and R may be replaced by any formulas which contain only"→" as a connective.
O axioma 3(Lei de Peirce) é((P→ Q)→ P)→ P. A regra de inferência modus ponens é: de P e P→ Q infere-se Q. Onde em cada caso, P, Q, R podem ser substituídos por qualquer proposição que contenha somente"→" como conectivo.

Most axiomatic systems have only the rule of modus ponens(and sometimes substitution), so it requires only verifying the validity of the axioms and one rule of inference.
A maioria dos sistemas axiomáticos possuem somente a regra de modus ponens(e algumas vezes também a regra de substituição), então a demonstração da correção requer apenas a verificação da validade dos axiomas e uma regra de inferência.

The rule of inference for necessary condition is modus tollens: Premise(1): If P, then Q Premise(2): not Q Conclusion: Therefore, not P An example traditionally used by logicians contrasting sufficient and necessary conditions is the statement"If there is fire, then oxygen is present.
A regra de inferência para a condição necessária é modus tollens: Premissa(1): Se P, então Q Premissa(2): não Q Conclusão: Portanto, não P Um exemplo gramatical tradicionalmente usado pelos lógicos contrastando as condições suficiente e necessária é a afirmação de que"Se há fogo, então oxigênio está presente.

In propositional logic, modus ponendo ponens(Latin for"the way that affirms by affirming"; often abbreviated to MP or modus ponens) or implication elimination is a valid, simple argument form and rule of inference.
Na lógica proposicional, modus ponendo ponens(em latim significa"a maneira que afirma afirmando", muitas vezes abreviado para MP ou modus ponens) ou a eliminação da implicação é uma válida e simples forma de argumento e regra de inferência.

In propositional logic, disjunction elimination(sometimes named proof by cases, case analysis, or or elimination), is the valid argument form and rule of inference that allows one to eliminate a disjunctive statement from a logical proof.
Na lógica proposicional, eliminação da disjunção(as vezes chamado prova por casos ou análise de casos), é a forma de argumento válido e regra de inferência que permite a eliminação de um argumento disjunctivo de uma prova lógica.

A formal proof or derivation is a finite sequence of well-formed formulas(which may be interpreted as sentences, or propositions) each of which is an axiom or follows from the preceding formulas in the sequence by a rule of inference.
A prova formal ou derivação é uma sequência finita de fórmulas bem formadas(que pode ser interpretado como proposições), cada um dos quais é um axioma ou resulta das fórmulas anteriores na sequência de uma regra de inferência.

In traditional logic the reasoning process of transposition as a rule of inference is applied to categorical propositions through contraposition and obversion, a series of immediate inferences where the rule of obversion is first applied to the original categorical proposition"All S is P"; yielding the obverse"No S is non-P.
Na lógica tradicional, o processo de raciocínio da transposição como uma regra de inferência é aplicada a proposições categóricas através da contraposição e da obversão, uma série de inferências imediatas, onde a regra da obversão é primeiramente aplicada à proposição categórica original"Todo S é P"; produzindo o anverso"Nenhum S é não-P.

A proof in infinitary logic from a theory T is a sequence of statements of length γ{\displaystyle\gamma} which obeys the following conditions: Each statement is either a logical axiom, an element of T, or is deduced from previous statements using a rule of inference.
Uma prova em lógica infinitária de uma teoria T é uma sequencia de declarações de comprimento γ{\displaystyle\gamma} que obedece as seguintes condições: cada declaração pode ser um“axioma lógico”, um elemento de T, ou é deduzido de declarações prévias usando uma regra de interferência.

The rule of inference for sufficient condition is modus ponens, which is an argument for conditional implication: Premise(1): If P, then Q Premise(2): P Conclusion: Therefore, Q Since the converse of premise(1) is not valid, all that can be stated of the relationship of'P' and'Q' is that in the absence of'Q','P' does not occur, meaning that'Q' is the necessary condition for'P.
A regra de inferência para a condição suficiente é modus ponens, que é um argumento para a implicação condicional: Premissa(1): Se P, então Q Premissa(2): P Conclusão: Portanto, Q Já que o inverso da premissa(1) não é válido, tudo o que pode ser afirmado da relação de'P' e'Q' é que, na ausência de'Q','P' não ocorre, o que significa que'Q' é a condição necessária para"P.

Material inference should not be confused with the following concepts, which refer to formal, not material validity: Material conditional- the logical connective"→"(i.e."formally implies") Material implication(rule of inference)- a rule for formally replacing"→" by"¬"(negation) and"∨"(disjunction) A completely fictitious, but formally valid inference obtained by consistent replacement is e.g.
Inferências materiais não devem ser confundidas com os conceitos a seguir, que se referem à validade formal, e não material: Material condicional- o conectivo lógico"→"(i.e."formalmente implica") Implicação material(regra de inferência)- uma regra para formalmente substituir"→" por"¬"(negação) e"∨"(disjunção) Stanford Encyclopedia of Philosophy em Sellars vista.

In the most common versions of the notion of formal proof, there are, in addition to the axiom schemes of propositional calculus(or the understanding that all tautologies of propositional calculus are to be taken as axiom schemes in their own right), quantifier axioms, and in addition to modus ponens, one additional rule of inference, known as the rule of generalization:"From K, infer∀vK.
Entre as versões mais comuns da noção de prova formal, aqui estão, em soma os esquemas de teorema do cálculo proposicional( ou o entendimento de que todas as tautologias do cálculo proposicional são feitas como esquemas de axioma para seu próprio direito), axiomas de quantificador, e, em soma ao modus ponens, uma regra de inferência adicional, conhecida como regra de generalização:" A partir de K, inferimos∀ vK.

Rules of inference are often formulated as schemata employing metavariables.
Regras de inferência são freqüentemente formuladas como regras esquematizadas pelo uso de variáveis universais.

There are several rules of inference which utilize the universal quantifier.
Há algumas regras de inferência que utilizam o quantificador universal.

Rules of inference are syntactical transform rules which one can use to infer a conclusion from a premise to create an argument.
Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir de uma premissa, para criar um argumento.

Since there are more than two truth values, rules of inference may be intended to preserve more than just whichever corresponds(in the relevant sense) to truth.
Desde que haja mais de dois valores de verdade, regras de inferência podem ser destinadas a preservar mais do que apenas o que corresponde(no sentido relevante) para a verdade.

It covers studies of rules of inference, logic, and procedural rules in both artificial and real world settings.
Engloba o estudo das regras de inferência, da lógica e das regras de procedimento, tanto em cenários artificiais quanto no mundo real.

Most variants of Hilbert systems take a characteristic tack in the way they balance a trade-off between logical axioms and rules of inference.
A maioria das variantes de Sistemas de Hilbert são constituídos de um balanceamento característico entre axiomas lógicos e regras de inferência.

Hilbert systems can be characterised by the choice of a large number of schemes of logical axioms and a small set of rules of inference.
Sistemas de Hilbert podem ser caracterizados pelo grande número de axiomas lógicos e um pequeno conjunto de regras de inferência.

Also, notice that contraposition is a method of inference which may require the use of other rules of inference.
Além disso, observe que a contraposição é um método de inferência que pode exigir o uso de outras regras de inferência.