sábado, 13 de novembro de 2010

Derivações: um exercício de lógica

A ver quem é o primeiro aluno do 11º ano a fazer a seguinte derivação:


A (B C), ¬ C, ¬ B ¬ A

Deixem as vossas respostas na caixa de comentários.

8 comentários:

  1. 1. A → (B ∨ C) Premissa
    2. ¬ C Premissa
    3. ¬ B Premissa
    4. ¬ B ^ ¬ C 2,3 Introdução da Conjunção
    5. ¬ (B ∨ C) 4, De Morgan V
    6. ¬ A 1,5 Modus tollens

    Acho que é assim :D

    ResponderEliminar
  2. Por favor, tenho de fazer um trabalho para segunda-feira e estou com imensas dúvidas nas derivações de redução ao absurdo. Pode ajudar-me?

    Ass. Telmo Rodrigues

    ResponderEliminar
  3. Em que parte das derivações de redução ao absurdo tem dúvidas Sr. Telmo Rodrigues?

    ResponderEliminar
  4. Não estou a conseguir fazer algumas derivações que o meu professor de Filosofia passou para fazer em casa :D

    Alguém me pode ajudar (é urgente) até às 24h do dia 14 (hoje, Domingo)???

    Se puderem, o meu mail é: telmo_dr@hotmail.com

    ResponderEliminar
  5. em vez de explicarem como se faz para aprendermos nao espetam um exercicio na net sem explicar nada.. se viemos a net e para conseguir esclarecer duvidas que o nosso professor nao explica bem.. que tristesa
    P.S o manual do 11º ano de filosofia nao presta é uma porcaria nao explica nada

    ResponderEliminar
  6. Não percebi a pergunta nem a resposta. O que é fazer uma derivação?

    ResponderEliminar
  7. Estou dificuldade em compreender derivação lógicas. Aonde encontrar auxilio para minhas necessidades, fornecer telefone de contato.

    ResponderEliminar