nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.de.test.13721

The task

Welche Nicht-Konfluenzquellen im Standard-Sequent-Kalkül werden in den Proof-Wäldern vermieden? A. ein Schnitt für zwei Schwächungen und ein Schnitt von zwei Kontraktionen B. Ein Schnitt auf zwei existenziellen Formeln und ein Schnitt auf zwei universellen Formeln C. Ein Schnitt auf zwei Propositionsschnitten und ein Schnitt für zwei Beweise erster Ordnung erster Ordnung D. Ein Schnitt auf zwei polarisierten Wäldern und einen Schnitt auf zwei nicht polarisierten Wäldern Return only the single uppercase letter of the correct option.