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: Wikidata property (P22): generalization of (P522) |
||
| (3 intermediate revisions by the same user not shown) | |||
| Property / instance of | |||
| Property / instance of: logical connective / rank | |||
Normal rank | |||
| Property / instance of | |||
| Property / instance of: Boolean function / rank | |||
Normal rank | |||
| Property / defining formula | |||
P \rightarrow Q | |||
| Property / defining formula: / rank | |||
Normal rank | |||
| Property / Wikidata property | |||
| Property / Wikidata property: generalization of / rank | |||
Normal rank | |||
