Negación del condicional

 La negacion condicional, es cuando tenemos una presmisa dividida en P, y Q, en las que las premisas son de verdadero y falso, y dependiendo de la premisa hay argumentos que son verdaderos o falsos,

Ejemplo:

Luis va a ir al concierto de Travis, no ira a la Universidad

Luis va a ir al concierto = P, No ira a la Universidad = Q

Modus Ponens

p =>q
p
_____
q

En donde encontramos la premisa y su valor de verdad, con la que hacemos un argumento y buscamos si es verdadero o falso, y con ellos se hace una tabla de verdad.