Aquell que, per la seva forma, admet premisses veritables i conclusió falsa; això és, admet un contraexemple
La següent forma lògica és invàlida :
Exemple:
Perquè, encara que en aquest cas tant les premisses com la conclusió són veritables, admet contraexemples:
Contraexemple:
On les premisses són veritables i la conclusió falsa.
Un argument és invàlid quan la interpretació que fa veritable al conjunt de premisses fa falsa a la conclusió.
Sean els enunciats
[math]\displaystyle{ (P\rightarrow{Q}), (Q\rightarrow{R}), ¬R, \models P? }[/math]
la taula de veritat prova que l'enunciat P és independent de la resta d'enunciats:
