Proprietà fondamentali | |
Lingua: | fr |
Valore: | preuve subséquente |
Classe: | Frase |
Relazioni unarie |
descriptor |
Traduzioni | |
de | FOLGEBEWEIS |
it | PROVA CONSEGUENTE |
Relazioni binarie | |
BT | PREUVE ILLICITE |
UF | preuve dérivée |
UF | seconde preuve |
Sostenuta da | |||||||||||||||||||||
|