Englisch-Finnisch Übersetzung für material implication

Definition für material implication

  • An implication as defined in classical propositional logic, leading to the truth of such as Q \vdash P \to Q, to be read as "any proposition whatsoever is a sufficient condition for a true proposition

Anwendungsbeispiele

  • In the truth table in Figure 1, the first row corresponds to modus ponens, the last row corresponds to modus tollens, the second row could be taken to represent an invalid argument (where P→Q is the argument and P is a premise or conjunction of premises), and the third row helps ensure that an argument of the form P \rightarrow Q, \neg P \vdash \neg Q is invalid.
  •     The following paradox (and also axiom) of material implication: P \rightarrow (Q \rightarrow P) could be taken to mean the monotonicity of entailment, that is, if P is true then no other or new fact Q should be able to arise which would imply the nullification of Ps truth, i.e., it could not be the case, for any Q, that Q → ¬P.

Ähnliche Begriffe

Häufigste Anfragen

Beliebte Wörterbücher

Übersetzung.cc

Übersetzung.cc ist ein kostenloses Online Wörterbuch. Mehr als 14 Millionen Übersetzungen.

AGB   Cookie   Kontakt

In EnglishEn españolPå svenskaSuomeksiEestikeelne

Mindmax
Quelle: Wiktionary.
Lizenz: Creative Commons Attribution-ShareAlike.
© 2004-2024 Übersetzung.cc