Please enable JavaScript.
Coggle requires JavaScript to display documents.
images 2.3 LENGUAJE SIMBÓLICO DE LA LÓGICA FORMAL - Coggle Diagram
2.3 LENGUAJE SIMBÓLICO DE LA LÓGICA FORMAL
2.3.1 Lenguaje Simbólico de la Lógica de Enunciados (Lógica Proposicional)
-
Los enunciados atómicos se simbolizan con letras mayúsculas del alfabeto latino: P,Q,S,T
-
DEFINICION: Se
caracteriza por ser un sistema de signos normados por reglas de formación explícita, El lenguaje simbólico se considera económico en tanto que permite traducir con menos
signos las expresiones del lenguaje natural.
La Lógica emplea un lenguaje simbólico para facilitar la
comprensión de las estructuras lógicas del lenguaje natural.
La Lógica simbólica al igual que la lógica en general, tiene como objeto de estudio el razonamiento, el fin de encontrar métodos para distinguir los razonamientos válidos de los no válidos.
DEFINICIÓN: La Lógica de enunciados estudia los razonamientos tomando las proposiciones en
bloque, considerando a cada proposición como una unidad simple.