Nichttraditionelle Pr
Nichttraditionelle Prädikationstheorie
Überprüfen Sie, welche der folgenden Formeln Tautologien in der nichttraditionellen Prädikationstheorie sind:
~
~
P(s)
É
P(s)
~
Ø
P(s)
É
P(s)
~
P(s)
É
Ø
P(s)
Zeigen Sie, daß die folgenden Formeln Tautologien der Prädikationstheorie sind. Beweisen Sie sie anschließend im System des natürlichen Schließens:
P(s)
Ù
Q(s)
É
~
Ø
P(s)
Ù
~
? P(s)
P(s)
Ù
Ø
Q(s)
É
~
?P(s)
Ù
~
Q(s)
Zeigen Sie, daß die folgende Regel im System des natürlichen Schließens der Prädikationstheorie gültig ist:
f(i)
Ù
f
¢
(i)
-----------
~
Ø
f(i)
Ù
~
? f(i)
File translated from T
E
X by
T
T
H
, version 2.69.
On 1 Nov 2000, 18:13.