![]() |
![]() |
|
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.