- Joined
- Jul 2025
- Subscription
- Core
#Help
No student is chosen for Gryffindor unless they exhibit bravery. Therefore, if a student exhibits bravery, they will be sorted to Gryffindor.
Here is how I went about translating it to Lawgic, tell me if I did it wrong and if so where?
1. No is a G4 Necessary condtion negation term and Unless is a group 3 Sufficent conditon negation term.
2. I picked the Unless term since it was a suff. condtion and followed the translation rule. Pick one of the 2 ideas in this case "exibit bravery" or "choosen for Griff." I picked "Eb" negated it and kept the Necc. the same giving me in
Lawgic: /EB -> /G
Counterpositive: G -> EB
idk if I did it right because the tutor got it as G-> EB when he translated it into lawgic instead of /EB -> /G
Where am I going wrong and how do I fix it?
So every time there's two "negated" words like in Q5 you always use the second negated term? Like there's "No" and "without" and he used "without" to counter-positive. Is that the case all the time?