First Order Logic Translate into First Order Logic (FOL) the following statements. Then write the negations of the FOL propositions found.
1. All tigers are fast. Domain: animals.
2. Some tigers are fierce and dangerous. Domain: animals.
3. Every prime number is odd. Domain: positive integers.
4. All prime numbers except two are odd. Domain: positive integers.
5. All fruits are either yellow or red. Domain: produce.
6. For every integer number, there exist a bigger integer. Domain: integers.