Question

write the negation of "if x is an integer then x is a rational number"

Answer 1

There exists the real numbers x, if x is an integer, then x is a rational number. It is common to know that if the condition does not satisfy the condition then the negation happens.

In order to avoid the explicit identification of the domain which is comprised of the predicate variables, universal conditional statements exist. If you are about to know the meaning of the universal conditional statements then it leads to another level of understanding.

If x is an integer, then x is a rational number or If x is a truck, then x is not green or If x is a byte, then x has 8 bits.