Asserzione (logica)
Questa voce sull'argomento logica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.
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:
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica