0:00
IntermediárioEquivalência LógicaCompletar Prova

Complete a seguinte prova por contradição:

  1. P → Q (Premissa)
  2. P (Premissa)
  3. ¬Q (Premissa)
  4. _____ (?)
  5. _____ (?)

Objetivo: Derivar uma contradição

P → Q, P, ¬Q ⊢ ⊥

Objetivo: Provar ?

Clique nos campos vazios para preencher a prova