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