PROPOSICIONES

1.CLASIFICACIÓN DE LAS FUNCIONES SIMBOLIZACIÓN DE

VERITATIAS PROPOSICIONES
Consiste en la representación del lenguaje ordinario
Lógicamente, sólo las mediante el lenguaje simbólico. El resultado de toda
tautológicas son válidas o simbolización es la obtención de una fbf en LP.
CONTINGENTE O lógicamente verdaderas.
CONCISTENTE Además, todas las tautológias
Es verdadera por lo menos son consistentes, pero no SIMBOLIZACIÓN
en una interpretación.. todas las funciones Es el proceso de traducir algunos
consistentes son tautológicas. segmentos del lenguaje lógico. Para
ello se tiene que tener en cuenta los
siguientes criterios:
TAUTOLÓGICA
Es verdadera en toda 1.1.Reconocer las proposiciones simples y asignarle
interpretación posbile. variables proposicionales (p,q,r,…)

CONTRADICTORIA
1.2. Destacar la estructura formal. La estructura
es falsa en toda la interpretación. Una formal es el conjunto de expresiones que funcionan
función contradictoria también se denomina como conectivas entre enunciados.
inconsistente. Cualquier función veritativa
que tenga por lo menos una interpretación
falsa se considera inválida.

1.3. Reemplazar los enlaces por operadores lógicos.

Cuidado con la jerarquía.

ESTOS SON ALGUNOS TÉRMINOS Y OPERADORES LÓGICOS:

He aqui algunas expresiones usuales que indican conectividad
lógicas. sin embargo, debemos tener cuidado al simbolizar pues la
traducción no es mecánica.