Item:Q18003: Difference between revisions
Created a new Item: propositional calculus, branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components |
Created claim: has characteristic (P807): validity (Q2088) |
||
| (3 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 / part of | |||
| Property / part of: mathematical logic / rank | |||
Normal rank | |||
| Property / has characteristic | |||
| Property / has characteristic: validity / rank | |||
Normal rank | |||