Given the statements:
[tex]\begin{gathered} p\colon The\text{ SUV }is\text{ on the road} \\ q\colon A\text{ layer of snow is before us} \end{gathered}[/tex]The symbolic form of the statements below are:
statement 1: It is false that a layer of snow is not below us and the SUV is on the road
[tex]\approx q\Lambda p[/tex]statement 2: If the SUV is on the road, then a layer of snow is before us