Dựa vào các phép toán đã cho, ta có thể giải các phương trình và tìm giá trị của các biến. Hãy xem xét từng phép toán một:
u/ VxER:x>-2⇒x²>4: Phép toán này cho biết nếu x > -2, thì x² > 4. Điều này đúng vì nếu x > -2, thì x có thể là -1, 0, 1, 2, ... và x² sẽ luôn lớn hơn 4.
v/3neN:n +1chia hết cho 5: Phép toán này cho biết nếu n chia hết cho 3, thì n + 1 sẽ chia hết cho 5. Điều này không chính xác vì nếu n = 2, thì n không chia hết cho 3 và n + 1 không chia hết cho 5.
w/2k eZ:k? _1 chia hết cho 24: Phép toán này không rõ ràng. Có thể w chia hết cho 2 và k là một số nguyên, nhưng không có thông tin về _1 chia hết cho 24.
x/ VneN:n chia hết cho 9 → n chia hết cho 9: Phép toán này cho biết nếu n chia hết cho 9, thì x chắc chắn chia hết cho 9. Điều này đúng vì nếu n chia hết cho 9, thì x có thể là 9, 18, 27, ... và x sẽ chia hết cho 9.
Vậy, dựa vào các phép toán đã cho, ta có thể kết luận rằng:
Nếu x > -2, thì x² > 4.Nếu n chia hết cho 9, thì x chia hết cho 9.
