Utiliza el símbolo ">" [mayor
que] para representar el implicador "";
así p
q
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
Notas para rellenar el ejercicio: