Question 4 Rewrite the following statement without using variables. Then, give an exam- ple that shows the statement is true. There exist two real numbers a and b such that ab > a +b.

Write a logical proof to prove that the following argument is valid. (¬t A s) → ¬r (¬q v p) → s .. ¬r V u There are two ways to submit answers to this question: 1) Enter in essay box directly. Note that logical expressions must be entered in Math mode, which begins with \(, and end with \). Below is a list of LaTex code for each logical operator. V \vee A \wedge - \neg → \to + \leftrightarrow

Declare a double constant that holds the decimal equivalent of one-quarter (.25).