propositional calculus (Q18003): Difference between revisions
Jump to navigation
Jump to search
Created claim: part of (P7): logic (Q471) |
Created claim: has characteristic (P807): validity (Q2088) |
||
| (One intermediate revision by the same user not shown) | |||
| Property / part of | |||
| Property / part of: mathematical logic / rank | |||
Normal rank | |||
| Property / has characteristic | |||
| Property / has characteristic: validity / rank | |||
Normal rank | |||
Latest revision as of 19:46, 2 January 2024
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
- sentential calculus
- sentential logic
- statement logic
- zeroth-order logic
- propositional logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 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 |
|