L'asserzione logica è una dichiarazione che afferma che una certa premessa è vera. È equivalente ad un sequente senza antecedente. Matematica Ad esempio, data la proposizione = " è un numero pari", la seguente implicazione è vera:

Collegamenti esterni

Categoria:Logica matematica