Logic Proof Fitch
1. (Cube(a) --> Cube(b)) ∧ (¬Cube(b) ∨ ¬Small(b))
2. Small(a) --> Dodec(a)
3. Dodec(a) --> Small(b)
Goal: ¬Cube(a) ∨ ¬Small(a)
Plz plz plz do Upvote
Coins can be redeemed for fabulous gifts.
Log In
Sign Up
Get Answers For Free Most questions answered within 1 hours.