Forma vàlida

Noció clàssica i fonamental de la lògica que defineix la validesa, o correcció formal, d'un raonament per la «forma vàlida». Un raonament és vàlid si la seva forma és vàlida i una forma és vàlida si, per a tot exemple que tingui la mateixa forma succeeix que és impossible que les premisses siguin veritables i la conclusió falsa. També es diu que una forma és vàlida si la fórmula que li correspon és sempre veritable, o una veritat lògica, o una tautologia.