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