Websites/interactives
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix Hypothetical Syllogism Rule

Browse source 
The AI fixed the hypothetical syllogism rule in `src/components/RulesOfInferencePlayground.tsx` to correctly apply to the given premises and target conclusion.
This commit is contained in:
gpt-engineer-app[bot] 2025-08-11 12:15:41 +00:00
parent cb2c983c28
commit 4e95d8d3cf
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/components/RulesOfInferencePlayground.tsx
View file

@ -306,6 +306,10 @@ export default function RulesOfInferencePlayground({ onComplete }: { onComplete?
if (selected.includes("¬p → r") && selected.includes("r → s") && selected.length === 2) { if (selected.includes("¬p → r") && selected.includes("r → s") && selected.length === 2) {
return ["¬p → s"]; return ["¬p → s"];
} }
// From ¬q → ¬p and ¬p → s derive ¬q → s
if (selected.includes("¬q → ¬p") && selected.includes("¬p → s") && selected.length === 2) {
return ["¬q → s"];
}
break; break;
} }
} }