Lògica d'Enunciats: Fonaments, Càlcul i Operadors Lògics
Clasificado en Psicología y Sociología
Escrito el en catalán con un tamaño de 2,8 KB
La Lògica d'Enunciats: Fonaments i Càlcul Proposicional
La lògica d'enunciats o proposicional estudia les relacions entre les proposicions sense analitzar-ne l'estructura. A continuació, la presentarem en forma de càlcul. En aquest sentit, veurem com es tradueix el llenguatge ordinari a fórmules lògiques i com es transformen correctament aquestes fórmules en d'altres, és a dir, com es dedueixen les unes de les altres.
Noció de Càlcul en Lògica Proposicional
La lògica actual utilitza l'estructura del càlcul. Un càlcul és un sistema de relacions entre símbols no interpretats que permet fer operacions amb ells. El càlcul es compon dels elements següents:
- Un conjunt de símbols elementals
- Un conjunt de regles de formació
- Un conjunt