Lóxica proposicional
From Wikipedia, the free encyclopedia
La lóxica proposicional o lóxica d'orde cero ye un sistema formal que los sos elementos más simples representen proposiciones, y que les sos constantes lóxiques, llamaes conectivas lóxiques, representen operaciones sobre proposiciones, capaces de formar otres proposiciones de mayor complexidá.[1]
La lóxica proposicional trata con sistemes lóxicos qu'escarecen de cuantificadores, o variables interpretables como entidaes. En lóxica proposicional magar nun hai signos pa variables de tipo entidá, sí esisten signos pa variables proposicionales (esto ye, que pueden ser interpretaes como proposiciones con un valor de verdá definíu), d'ende'l nome proposicional. La lóxica proposicional inclúi amás de variables interpretables como proposiciones simples signos pa conectivas lóxiques, polo que dientro d'esti tipu de lóxica puede analizase la inferencia lóxica de proposiciones a partir de proposiciones, pero ensin tener en cuenta la estructura interna de les proposiciones más simples.[2]