Material conditional
1 preserving: yes
label: Implikacja materialna @pl
different from: Material inference
label: 实质条件 @zh
label: Implikace @cs
label: Logische implicatie @nl
bg: #ffffff
title: Proof of , within minimal logic
subject: Category:Logical connectives
subject: Category:Semantics
wikifunction: Z10329
description: logikai művelet @hu
label: Condicional material @pt
title: Vacuous conditional :
label: Implico @eo
title: Material conditional
description: קשר לוגי @iw
title: Example: proof of , by method of analytic tableaux
label: Implicazione logica @it
description: logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
label: 論理包含 @ja
description: spójnik logiczny @pl
other titles: IMPLY
affine: no
0 preserving: no
description: booleaanse operator @nl
description: conectiva lóxica tamén chamada implicación @gl
description: логическая операция из булевой алгебры @ru
description: Junktor in der Aussagenlogik @de
monotone: no
label: Implication (logique) @fr
description: konnektiivi propositiologiikassa @fi
venn diagram: Venn1011.svg
self dual: no
label: قضية شرطية @ar
description: connettivo logico tra due asserzioni, solitamente indicato con una freccia verso destra @it
subject: Category:Logical consequence
description: conector lógico @es
description: 数学概念 @zh
label: Логічна імплікація @uk
description: القضية المركبة من قضيتين محكوم عليها ومحكوم بها. @ar
description: connecteur logique entre deux assertions, fréquemment symbolisé par une flèche à droite (le plus souvent double) @fr
title: Contraposition:
different from: Material implication (rule of inference)
type: Thing
description: loginio veiksmo rūšis @lt
title: Peirce's law:
subject: Category:Conditionals
description: логічний сполучник @uk
fg: #000000
logic gate: IMPLY_ANSI.svg
description: ئەوەی کە وتەی Q بە چەشنێ لە نێو وتەی Pدا پێچرابێتەوە کە ڕاستیی P ڕاستیی Q بە دوای خۆیدا بێنێ (P→Q) @ckb
label: Импликация @ru
label: Subjunktion @de
label: Implikation @sv