Item:Q13423: Difference between revisions
Created a new Item: classical logic, class of formal logics |
Created claim: has quality (P14): commutativity of conjunction (Q13432) |
||
| (8 intermediate revisions by the same user not shown) | |||
| Property / subclass of | |||
| Property / subclass of: logical system / rank | |||
Normal rank | |||
| Property / part of | |||
| Property / part of: logic / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: principle of excluded middle / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: double negative elimination / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: law of noncontradiction / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: principle of explosion / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: monotonicity of entailment / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: Idempotency of entailment / rank | |||
Normal rank | |||
| Property / has quality | |||
| Property / has quality: commutativity of conjunction / rank | |||
Normal rank | |||