terça-feira, 30 de novembro de 2010

Derivações: mais um

Bom, a pedido dos alunos do 11º F, aqui fica um último exercício com uma derivação para fazer.

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

Só depois de o resolvermos na aula deixarei aqui a resposta.

4 comentários:

  1. 1. A V ⌐B Premissa
    2. ⌐B → A Premissa
    3. A → ⌐C Premissa
    4. ⌐B → ⌐C 2,3 Silogismo Hipotético
    5. ⌐C 1,3,4 Dilema

    Acho que não há problema se o 11ºB também resolver.

    Ana Patrícia

    ResponderEliminar
  2. Claro que não, Ana.
    Os símbolos de negação estão invertidos, não é?

    ResponderEliminar
  3. Oh sim stor. Enganei-me, desculpe.
    Está certo?

    ResponderEliminar
  4. Este comentário foi removido pelo autor.

    ResponderEliminar