taaam2224 taaam2224 22-03-2024 Mathematics contestada Translate into FOL, using these interpretations:ㅤㅤM(x) == x is a Martian.ㅤㅤt == Tom Cruise1. Tom Cruise is a Martian.ㅤㅤShort form:Thus,2. Tom Cruise is a Martian.ㅤㅤShort form: