Si la premisa 1 es cierta, entonces la siguiente tabla de verdad también es cierta: