Notas para rellenar el ejercicio:

• Utiliza el símbolo ">" [mayor que] para representar el implicador " →"; así pq sería p>q

• El símbolo "¬" se consigue pulsando la tecla AltGr, y, manteniéndola pulsada, el número 6. (o bien Control+ Alt+ 6). En ordenadores Macintosh: Alt+6.

• Procura no introducir espacios, aunque se toleran entre conectivas y atómicas siempre que no sea al principio o al final de la fórmula.

• Después de una respuesta errónea, se recomienda pulsar el botón "Borrar" (aunque esto no es imprescindible)

• Es indiferente usar mayúsculas y/o minúsculas