Untersuchungen über den Aussagenkalkül. (Q577750)
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: Untersuchungen über den Aussagenkalkül. |
scientific article; zbMATH DE number 2560522
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Untersuchungen über den Aussagenkalkül. |
scientific article; zbMATH DE number 2560522 |
Statements
Untersuchungen über den Aussagenkalkül. (English)
0 references
1931
0 references
Zur Begründung eines Aussagenkalküls stehen zwei Methoden zur Verfügung: Entweder gibt man ein Axiomensystem mit den zugehörigen Schlußregeln an, oder man konstruiert eine Werttabelle, eine sog. logische Matrix. Beide Methoden werden an dem gewöhnlichen Aussagenkalkül und dem dreiwertigen Aussagenkalkül von \textit{Łukasiewicz} erläutert.
0 references
