Item:Q8134: Difference between revisions
Created a new Item: logical implication, logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right |
Created claim: instance of (P2): logical connective (Q2447) |
||
Property / instance of | |||
Property / instance of: logical connective / rank | |||
Normal rank |