What is the translation of " MATERIAL CONDITIONAL " in Portuguese?

• condicional material
• condicionada material

Examples of using Material conditional in English and their translations into Portuguese

This is called material, conditional life.
A isto chama-se vida material, condicionada.

However, it is also a counterexample to modus ponens for the material conditional of LP.
Contudo, é também um contraexemplo ao modus ponens pelo material condicional de LP.

But when we are in the material, conditional life, we forget this, hmm?
Mas quando estamos na vida material, condicional, esquecemo-nos disso?

The material conditional does not always function in accordance with everyday if-then reasoning.
O condicional material nem sempre funciona de acordo com a noção corriqueira do"se-então.

But they do not understand that this material conditional life is always miserable.
Mas eles não entendem que essa vida material condicionada é sempre miserável.

Unlike the material conditional, an indicative conditional does not have a stipulated definition.
Ao contrário do condicional material, um condicional indicativo não tem uma definição específica.

So association of material attachment means implication in this material conditional life.
Então associação de apego material significa envolvimento nesta vida material, condicionada.

The only difference from material conditional is the case when the hypothesis is false but the conclusion is true.
A única diferença paraCondicional_material é o caso no qual a hipótese é falsa mas a conclusão é verdadeira.

This truth-functional interpretation of implication is called material implication or material conditional.
Essa interpretação verdade funcional da implicação é chamada Implicação Material ou Condicional Material.

A further problem is that the material conditional is such that(P AND¬P)→ Q, regardless of what Q is taken to mean.
Um problema adicional é que o condicional material é tal que P E¬P→ Q, independentemente do que Q significa.

What is important to the paradox is that the conditional in classical(and intuitionistic) logic is the material conditional.
O importante para o paradoxo é que a lógica condicional no clássico(e intuicionistico) é a matéria condicional.

Neither conjunction, disjunction, nor material conditional has an equivalent form constructed of the other four logical connectives.
Nem conjunção, disjunção, e condicional material tem uma forma equivalente construída dos outros quatro conectivos lógicos.

Take Kṛṣṇa prasāda and hear some nice philosophy from Bhagavad-gītā, and try to rectify your material conditional life.
Honrem a prasāda de Kṛṣṇa e ouçam um pouco dessa esplêndida filosofia do Bhagavad-gītā, e tentem retificar a sua vida condicionada material.

It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic.
É logicamente equivalente ao condicional material da lógica clássica, combinado com o operador de necessidade da lógica modal.

Prabhupāda: Kṛṣṇa consciousness is already there in everyone's core of heart, but due to one's material conditional life, he has forgotten it.
Prabhupāda: A consciência de Kṛṣṇa já está lá no núcleo do coração de todos, mas devido a condição material de vida da pessoa, ela esquece disso.

One problem is that the material conditional allows implications to be true even when the antecedent is irrelevant to the consequent.
Um problema é que o condicional material permite implicações serem verdadeiras mesmo quando o antecedente é irrelevante para o consequente.

One approach is to choose a"minimal" set, and define other connectives by some logical form, like in the example with material conditional above.
Uma abordagem é escolher um conjunto"mínimo", e definir outros conectivos por alguma forma lógica, como no exemplo com condicional material acima.

They are true because a material conditional is defined to be true when the antecedent is false regardless of whether the conclusion is true.
Eles são verdade pois uma condicional material está definida para ser verdade quando o antecedente é falso independentemente se a conclusão é verdadeira ou não.

A f B is the binary relation A requires B, i.e. A materially implies!B. All entailment in the axioms is material conditional.
A f B é a relação binária A requer B, e.g. A materialmente implica!B. Toda consequência lógica nos axiomas é condicional material, Isso é definido pelo axioma III, enquanto que todos os outros termos são definidos como preliminares.

Another issue is that the material conditional is not designed to deal with counterfactuals and other cases that people often find in if-then reasoning.
Outro problema é que o condicional material não é projetado para lidar com countrafatuais e outros casos em que as pessoas frequentemente encontram no raciocínio"se-então.

Some logicians, such as Paul Grice, have used conversational implicature to argue that, despite apparent difficulties, the material conditional is just fine as a translation for the natural language'if… then….
Alguns lógicos, tais como Paul Grice, têm usado implicações conversacionais para argumentar que, apesar de dificuldades aparentes, o condicional material está muito bem como a tradução para o'se… então…' da linguagem natural.

In most logical systems, negation, material conditional and false are related as:¬p⇔(p→⊥) This is the definition of negation in some systems, such as intuitionistic logic, and can be proven in propositional calculi where negation is a fundamental connective.
Na maioria dos sistemas lógicos, negação, condicional material e falso são relacionados como:¬p⇔(p→⊥) Esta é a definição de negação em alguns sistemas, como lógica intuicionista, e pode ser comprovada no cálculo proposicional, onde a negação é um conectivo fundamental.

Redundancy===Such logical connective as converse implication← is actually the same as material conditional with swapped arguments, so the symbol for converse implication is redundant.
Redundância===O conectivo lógico da implicação recíproca← é na verdade o mesmo que o condicional material com as premissas trocadas, logo o símbolo da implicação recíproca é redundante.

Therefore the whole problem is that we should give up our material conditional life, and in Kṛṣṇa consciousness we should try to elevate ourself to the spiritual platform and thereby be promoted to the kingdom of Godhead, yad gatvā na nivartante tad dhāmaṁ paramaṁ mama(BG 15.6), where going, nobody comes back to this miserable world.
Portanto o problema todo é que devemos desistir da nossa vida condicionada material, e em consciência de Kṛṣṇa, devemos tentar elevar a nós mesmos à plataforma espiritual e, assim, ser promovido ao reino de Deus, yad gatvā na nivartante tad dhāmaṁ paramaṁ mama(BG 15.6), onde indo, ninguém volta a este mundo miserável.

Such a logical connective as converse implication"←" is actually the same as material conditional with swapped arguments; thus, the symbol for converse implication is redundant.
O conectivo lógico da implicação recíproca← é na verdade o mesmo que o condicional material com as premissas trocadas, logo o símbolo da implicação recíproca é redundante.

The equivalence thesis states that indicative conditionals and the material conditional have the same truth conditions i.e., they are false when they have a truth antecedent and a false consequent, but true in any other circumstances.
A tese da equivalência afirma que as condicionais indicativas e a condicional material possuem condições de verdade equivalentes, i.e., elas são falsas quando possuem a antecedente verdadeira e a consequente falsa, mas são verdadeiras nas demais circunstâncias.

Although the strict conditional is much closer to being able to express natural language conditionals than the material conditional, it has its own problems with consequents that are necessarily true(such as 2+ 2 4) or antecedents that are necessarily false.
Embora o condicional estrito esteja muito mais próximo de ser capaz de expressar condicionais da linguagem natural do que o condicional material, ele tem seus próprios problemas com consequentes que são necessariamente verdadeiros(como 2+ 2 4) ou antecedentes que sejam necessariamente falsos.

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.

Corresponding conditional Counterfactual conditional Indicative conditional Logical consequence Material conditional Graham Priest, An Introduction to Non-Classical Logic: From if to is, 2nd ed, Cambridge University Press, 2008, ISBN 0-521-85433-4, pp. 72.
Condicional contrafactual Indicativo condicional Condicional material Consequência lógica Condicional correspondente Graham Priest, An Introduction to Non-Classical Logic: From if to is, 2nd ed, Cambridge University Press, 2008, ISBN 0-521-85433-4, pp. 72.

Feasibility study on exporting construction materials Conditional loan to Saint Vincent and the Grenadines.
Estudo de viabilidade relativo à exportação de materiais de construção Empréstimo condicional à St-Vincent and the Grenadines.