Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt
✍ Scribed by S. Jaśkowski
- Publisher
- John Wiley and Sons
- Year
- 1963
- Tongue
- English
- Weight
- 510 KB
- Volume
- 9
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
OBER TAUTOLOGIEN, IN WELCHEN KEINE VARTABLE MEHR ALS ZWEIMAL VORKORfMT von S. JASKOWSKI in Torun (Polen) H. THIELE hat im Jahre 1960 das Problem gestellt. &as implikative Teilsystem des Aussagenkakuls mit den Axiomen CCpqCCqrCpr, CCpCqrCqCpr. CpCqp zu untersuchen. Hier wird fur dieses System') und fur ein anderes, in den1 das letzte Axiom durch ein schwacheres, namlich durch Cpp ersetzt wird, ein Entscheidungsverfahren angegeben. Die Methode beruht auf einer Untersuchung von pewissen allgemeinen Eigenschaften der Susdrucke, in welchen keine Satzvariable mehr als zweimal vorkommt. Dabei wird eine dreiwertige Matrix benutzt. Das Problem der charakteristischen Matrizen fur die oben erwiihnten Systeme ist bisher nieht gelost.