Construcción de tablas de verdad de proposiciones y formalización
Él o no está informado o él no es honesto = ¬ (A v B) No es verdadero que él esté informado y sea honesto = ¬A ∧ ¬ B Demostrar que son lógicamente equivalentes = ¬ (A v B) y ¬A ∧ ¬B Tabla de verdad para ¬ (A v B) y ¬A ∧ ¬B A B A v B ¬ (A v B) ¬A ¬B ¬A ∧ ¬B V V V F F V F F V V V F F F F V F F V V F V F V F F F V 2) Si las mercancías no fueron entregadas, el cliente no puede haber pagado = p → q Si el cliente ha pagado, las mercancías deben de haber sido entregadas = ¬q→¬p Son contrarrecíprocas porque la segunda oración se convierte en la primera oración negada y la primera oración se convierte en la seg...