0:00
PrincipianteEquivalenza LogicaCompletamento di Dimostrazione

Completa le giustificazioni mancanti per questa dimostrazione.

Obiettivo: Dimostrare Q

P → Q, P ⊢ Q

Obiettivo: Dimostrare Q

Fai clic sui campi vuoti per completare la dimostrazione

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