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

Complete a seguinte prova:

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

Objetivo: Provar R

P → Q, Q → R, P ⊢ R

Objetivo: Provar R

Clique nos campos vazios para preencher a prova

1.
P → Q
Premissa
2.
Q → R
Premissa
3.
P
Premissa
4.
Q
Selecionar regra
Selecionar referências de linha
5.
R
Selecionar regra
Selecionar referências de linha