KL05

1

  • u: der Urknall hat eine Ursache
  • e: der Urknall ist seine eigene Ursache
  • t: die Urknalltheorie erklärt die Realität
  • v: die Urknalltheorie ist verständlich

Prämissen:

  • p1: ¬u ∨ e ∨ (u ∧ ¬ e)
  • p2: ¬u → ¬ t
  • p3: e → ¬v
  • c: t → (u ∧ ¬ e)