Page 1 of 1
Translate into FOL short form (e.g., H for happy). • Always use x for a variable, and only use y if overlapping scope re
Posted: Wed Jul 06, 2022 11:45 am
by answerhappygod
- Translate Into Fol Short Form E G H For Happy Always Use X For A Variable And Only Use Y If Overlapping Scope Re 1 (77.02 KiB) Viewed 14 times
Translate into FOL short form (e.g., H for happy). • Always use x for a variable, and only use y if overlapping scope requires it. • When translating "everyone", you can assume we are just talking about people. So "Everyone is guilty" is AxG(x). • Use connectives, such as negation, whenever possible to capture logical structure. 1. Someone is happy. 2. It is not the case that someone is happy. 3. Someone is not happy. 4. Someone is either happy or unhappy. 5. Either someone is happy or someone is unhappy. 6. Either someone is happy or it's not true that someone is happy. 7. Everyone is unhappy. 8. If someone is happy, then not everyone is unhappy. 9. Someone is unhappy but not everyone is unhappy 10. Someone is happy or everyone is unhappy.