La primera premisa es un condicional o sentencia "si-entonces", por ejemplo que "si p entonces q".