0:00
IntermedioEquivalenza LogicaCompletamento di Dimostrazione

Completa la seguente dimostrazione:

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

Obiettivo: Dimostrare R

P → Q, Q → R, P ⊢ R

Obiettivo: Dimostrare R

Fai clic sui campi vuoti per completare la dimostrazione

1.
P → Q
Premessa
2.
Q → R
Premessa
3.
P
Premessa
4.
Q
Seleziona regola
Seleziona riferimenti di riga
5.
R
Seleziona regola
Seleziona riferimenti di riga