((p→q)Λ(¬r→p)Λ(qVs))→(¬q→s)El grupo colaborativo debe convertir el anterior argumento en lenguaje natural de talforma que la información o el mensaje que deseen expresar tenga sentido lógico (Esdecir ?

((p→q)Λ(¬r→p)Λ(qVs))→(¬q→s) El grupo colaborativo debe convertir el anterior argumento en lenguaje natural de tal forma que la información o el mensaje que deseen expresar tenga sentido lógico (Es decir deben hacer lo contrario de la tarea 2 y 3, ya que las anteriores tareas, se presentaban en lenguaje natural y el propósito es convertirlo en lenguaje simbólico). Finalmente, deben demostrar que el anterior argumento es válido a través de :  Uso de las tablas de verdad.  Uso de las leyes de inferencia.  Uso del método de reducción al absurdo.  Uso del simulador Truth Table.