logical implication (Q8134): Difference between revisions
Jump to navigation
Jump to search
Created claim: instance of (P2): Boolean function (Q2444) |
Created claim: Wikidata property (P22): generalization of (P522) |
||
| (One intermediate revision by the same user not shown) | |||
| Property / defining formula | |||
P \rightarrow Q | |||
| Property / defining formula: / rank | |||
Normal rank | |||
| Property / Wikidata property | |||
| Property / Wikidata property: generalization of / rank | |||
Normal rank | |||
Latest revision as of 09:50, 2 May 2023
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
- material consequence
- implication
- material implication
- simply implication
- implies
- conditional
- material conditional
- ⇒
- ⟹
- →
- ⟶
- if-then
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | logical implication |
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right |
|
Statements
0 references