yes
Implikacja materialna
实质条件
Implikace
Logische implicatie
Proof of , within minimal logic
logikai művelet
Condicional material
Vacuous conditional :
Implico
Material conditional
קשר לוגי
Example: proof of , by method of analytic tableaux
Implicazione logica
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
論理包含
spójnik logiczny
IMPLY
booleaanse operator
conectiva lóxica tamén chamada implicación
логическая операция из булевой алгебры
Junktor in der Aussagenlogik
Implication (logique)
konnektiivi propositiologiikassa
قضية شرطية
connettivo logico tra due asserzioni, solitamente indicato con una freccia verso destra
conector lógico
数学概念
Логічна імплікація
القضية المركبة من قضيتين محكوم عليها ومحكوم بها.
connecteur logique entre deux assertions, fréquemment symbolisé par une flèche à droite (le plus souvent double)
loginio veiksmo rūšis
Peirce's law:
логічний сполучник
ئەوەی کە وتەی Q بە چەشنێ لە نێو وتەی Pدا پێچرابێتەوە کە ڕاستیی P ڕاستیی Q بە دوای خۆیدا بێنێ (P→Q)
Импликация
Subjunktion
Implikation