On the proposition $C\delta CpqC\delta p\delta q$ with a variable functor (Q5569096)
From MaRDI portal
scientific article; zbMATH DE number 3282576
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the proposition $C\delta CpqC\delta p\delta q$ with a variable functor |
scientific article; zbMATH DE number 3282576 |
Statements
On the proposition $C\delta CpqC\delta p\delta q$ with a variable functor (English)
0 references
1969
0 references
propositional logic
0 references
