|
L’estructura de les expressions lògiques, ja siguin enunciats, fórmules o raonaments, prescindint del seu contingut concret. L’estructura o la forma lògica són esquemes o disposicions de símbols lògics que poden ser compartits per diverses fórmules o raonaments (veure exemple 1, exemple 2 i exemple 3); l'esmentada estructura la defineixen:
en els enunciats, les partícules lògiques;
en les fórmules, els elements propis dels diversos llenguatges formals;
en els raonaments, la connexió dels enunciats (en la lògica d’enunciats) o la disposició dels termes a l’interior dels enunciats i la connexió dels mateixos (en la lògica de predicats).
En el concepte de forma lògica es recolzen, entre altres, el concepte de tautologia, veritat lògica, fórmula universalment vàlida i el de validesa aplicat als raonaments.
Aquesta obra està sota una llicència
de Creative Commons.