UNIDAD 3 INGENIERÍA DE SOFTWARE

 
















Comentarios

Publicar un comentario

Entradas populares de este blog

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...
Leer más