Implicational propositional calculus (Q6007243)
Jump to navigation
Jump to search
version of classical propositional calculus which uses only the material conditional connective
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Implicational propositional calculus |
version of classical propositional calculus which uses only the material conditional connective |
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki Implicational propositional calculus
- ptwiki Cálculo proposicional implicacional
- zhwiki 蕴涵命题演算