material implication (Q7881229)
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
- material consequence
- implication
- simply implication
- implies
- conditional
- material conditional
- if-then
- logical implication
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
|
|
| English | material implication |
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right |
|
Statements
0 references
2-5.4
p implies q
if p, then q
0 references
\DoubleLongRightArrow
27F9
0 references
⟹
27F9
0 references
Material conditional
0 references
Identifiers
Sitelinks
Wikipedia(43 entries)
- amwiki ጥገኛ አምክንዮ
- arwiki شرطي مادي
- be_x_oldwiki Імплікацыя
- bewiki Імплікацыя
- bgwiki Импликация
- cawiki Condicional material
- ckbwiki تێوەپێچراوی
- cswiki Implikace
- dewiki Subjunktion
- enwiki Material conditional
- eowiki Implico
- eswiki Condicional material
- etwiki Implikatsioon
- fawiki شرطی مادی
- fiwiki Implikaatio
- frwiki Implication (logique)
- glwiki Condicional material
- hewiki אם-אז
- hrwiki Implikacija
- huwiki Implikáció
- hywiki Իմպլիկացիա
- itwiki Implicazione logica
- jawiki 論理包含
- kaawiki Implikaciya
- kkwiki Импликация
- kowiki 실질 조건문
- ltwiki Implikacija
- mkwiki Материјална импликација
- nlwiki Logische implicatie
- nowiki Subjunksjon (logikk)
- plwiki Implikacja materialna
- pmswiki Amplicassion
- ptwiki Condicional material
- rowiki Implicație logică
- ruwiki Импликация
- simplewiki Implication (logic)
- skwiki Implikácia
- svwiki Implikation
- thwiki เงื่อนไขเชิงตรรกศาสตร์
- tlwiki Implikasyon
- ttwiki Импликация
- ukwiki Логічна імплікація
- zhwiki 实质条件
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(1 entry)
- eswikiversity Lógica proposicional/La implicación
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(2 entries)
- commonswiki Category:Material conditional
- wikifunctionswiki Z10329