The general expression of formulas in two-valued propositional logic \(F(S_n)\) in the meaning of logical equivalence (Q3403597)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The general expression of formulas in two-valued propositional logic F(S_n) in the meaning of logical equivalence |
scientific article; zbMATH DE number 5670467
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The general expression of formulas in two-valued propositional logic \(F(S_n)\) in the meaning of logical equivalence |
scientific article; zbMATH DE number 5670467 |
Statements
12 February 2010
0 references
two-valued propositional logic
0 references
assignment
0 references
provable equivalence
0 references
0.8021161556243896
0 references
0.7487854957580566
0 references
0.7487854957580566
0 references
0.7459185123443604
0 references
0.7420119643211365
0 references
