quinta-feira, 25 de novembro de 2010

Mais um exercício de lógica

Eis mais uma derivação para os alunos do 11º ano fazerem:

A ∧ ¬ B, C  B  A ∧ ¬ C


Deixem as vossas respostas na caixa de comentários.


Nota: Por lapso, a versão original do exercício não era a pretendida, pelo que foi alterada.

4 comentários:

  1. Argumento válido :)

    Resolução em: http://dl.dropbox.com/u/4459233/net/argumento.jpg

    ResponderEliminar
  2. 1. A Λ ⌐B Premissa
    2. C → B Premissa
    3. ⌐B 1, Eliminação Λ
    4. ⌐C 2,3 Modus Tollens
    5. A 1, Eliminação Λ
    6. A Λ ⌐C 4,5 Introdução Λ

    ASS: Ana Patrícia 11ºB

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

    ResponderEliminar
  4. 1. A Λ ¬B Premissa
    2. C → B Premissa
    3. A 1 Eliminação da Conjunção
    4. ¬B 1 Eliminação da Conjunção
    5. ¬C 2,4 Modus Tollens
    6. A Λ ¬C 3,5 Introdução da Conjunção

    Ass: Ana&Pedro

    ResponderEliminar