rodriguescarson/adaption-logic-step-verification-12k

Formal Logic Step Verification Single-step deductive reasoning: given premises and a claimed step, explain whether it follows and end with a verdict. Covers six valid forms (modus ponens and tollens, hypothetical and disjunctive syllogism, contraposition, universal chaining) and six named fallacies. Rows 12,000 Domain formal logic and reasoning Format data.parquet, one row per example Licence cc-by-4.0 Built for supervised fine-tuning (SFT) experiments on… See the full description on the dataset page: https://huggingface.co/datasets/rodriguescarson/adaption-logic-step-verification-12k.