What must be checked in “All fruits are sweet; this is an apple”?
Ḥujjah: Deriving a Conclusion from Known Judgments
- Whether apples are included as fruits and whether the premises hold
- Its color alone
- The second statement suffices
- Sweet is universally true