Theorien der logischen Folgebeziehung

1. In der strikten und strengen Theorie der logischen Folgebeziehung wird der Schluß von p auf p Úq abgelehnt. Begründen Sie das!

2. In der klassischen Theorie der logischen Folgebeziehung ist der Schluß von p auf p Úq korrekt. Begründen Sie das!

3. Angenommen, A |- B ist eine gültige Regel der klassischen Theorie der Folgebeziehung.

   1. Ist unter dieser Bedingung A |- BÚC ebenfalls eine gültige Regel der klassischen Theorie der Folgebeziehung? Begründen Sie Ihre Antwort!

   2. Falls A |- B eine gültige Regel der strikten Theorie der Folgebeziehung ist, ist A |- BÚC nicht deswegen gültige Regel der strikten Theorie der Folgebeziehung. Warum nicht?

4. Angenommen, A |- B ist eine gültige Regel der klassischen Theorie der Folgebeziehung.

   1. Ist unter dieser Bedingung A ÙC |- B ebenfalls eine gültige Regel der klassischen Theorie der Folgebeziehung? Begründen Sie Ihre Antwort!

   2. Falls A |- B eine gültige Regel der strikten Theorie der Folgebeziehung ist, ist A ÙC |- B nicht deswegen gültige Regel der strikten Theorie der Folgebeziehung. Warum nicht?