Asserzione (logica)

L'asserzione logica è una dichiarazione che afferma che una certa premessa è vera. È equivalente ad un sequente senza antecedente.

Ad esempio, data la proposizione p = "x è un numero pari", la seguente implicazione è vera:

$(⊢p)\to (x(\mathrm{mod}2)\equiv 0)$

Collegamenti esterni

• Template:Collegamenti esterni