nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.de.test.14316
nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.de.test.14316: test task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. Welche der folgenden Aussagen ist ein im Text erwähntes kanonisches Beweissystem? A. Sequent Calculus B. lineare Logik C…
The task
Welche der folgenden Aussagen ist ein im Text erwähntes kanonisches Beweissystem? A. Sequent Calculus B. lineare Logik C. natürlicher Abzug für negative intuitionistische Logik D. klassische Logik Return only the single uppercase letter of the correct option.
Task details
- language
- de
- family
- mcq_vqa
- mime
- image/jpeg
- media ready
- False