0:00
Difficoltà: PrincipianteCategoria: Equivalenza LogicaTipo: Completamento di DimostrazioneCompleta le giustificazioni mancanti per questa dimostrazione.
Obiettivo: Dimostrare Q
P → Q, P ⊢ QObiettivo: 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