nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.fr.test.14371
nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.fr.test.14371: test task in FineEnvs/nayana-ocr-env, an RL environment on the Hugging Face Hub. À quoi correspondent les liens de tautologie dans Herbrand NETS dans le calcul séquentiel? A. Contraction sur les formules…
The task
À quoi correspondent les liens de tautologie dans Herbrand NETS dans le calcul séquentiel? A. Contraction sur les formules propositionnelles B. Affaiblissement existentiel C. Règle axiome D. Coupure de règle Return only the single uppercase letter of the correct option.
Task details
- language
- fr
- family
- mcq_vqa
- mime
- image/jpeg
- media ready
- False