Implicazione logica: differenze tra le versioni

Sequenti e implicazioni trovano impiego nella logica formale di tipo proposizionale all'interno della quale sono due operatori logici distinti. Se l'implicazione opera su singole variabili proposizionali, il sequente opera su metavariabili (indicate con le lettere dell'[[alfabeto greco]]), che sono liste o vettori ordinati di variabili proposizionali. Queste ultime possono anche essere liste vuote di elementi oppure composte da un'unica variabile proposizionale (un singolo enunciato). La metavariabile proposizionale può essere quindi considerata come una generalizzazione della variabile proposizionale, mentre il connettivo logico chiamato sequente è una formalizzazione compatta, condensata in un numero minore di righe, di un sistema di proposizioni più complesso se espresso mediante una serie di implicazioni logiche. I sequenti introducono la tesi che si intende dimostrare, ma ordinariamente non sono utilizzano nel corso delle dimostrazioni di logica formale.

In termini più astratti, un sequente opera sul [[metalinguaggio]], laddove invece l'implicazione opera sul linguaggio oggetto. Ad esempio, nell'enunciato “la proposizione Q è falsa", la sola lettera ''Q'' delimita una proposizione del linguaggio, mentre l'intero insieme di parole racchiuse tra virgolette indica una proposizione del metalinguaggio.<ref>{{cita web|url=https://www.edscuola.eu/wordpress/?p=78517|titolo=L'importanza del metalinguaggio in educazione|data=23 giugno 2016|autore=Giuseppe Guastini}}</ref><br />