terça-feira, 14 de dezembro de 2010

A última derivação do ano

Esta é só para o 11º F, está bem?

(A∨B) → ¬C, A ⊢ ¬C

1 comentário:

  1. 1.(A∨B) → ¬C premissa
    2.A premissa
    3.¬C premissa
    4.(A∨B) 3, de morgan
    5.¬C 1,4 modus tollens

    ResponderEliminar