Formula atomica generalizzata

Forma vero-funzionale

Equivalenze logiche e forma vero-funzionale

Conseguenze logiche e forma vero-funzionale