Republica Bolivariana de Venezuela

Ministerio del Poder Popular para la Educación

Universidad Nacional Experimental Simón Rodríguez

Abandono la lógica
proposicional

Nombre y Apellido: Nadia Amaya

Numero de cedula: 29895700
Facilitadora: Soteldo Xiomara
Seccion I, 1er semestre
 Importancia de la lógica proposicional
Una lógica proposicional, o a veces lógica de orden cero, es un sistema formal
cuyos elementos más simples representan proposiciones, y cuyas constantes
lógicas, llamadas conectivas lógicas, representan operaciones sobre
proposiciones, capaces de formar otras proposiciones de mayor complejidad.

Las lógicas proposicionales carecen de cuantificadores o variables de

individuo, pero tienen variables proposicionales (es decir, que se pueden
interpretar como proposiciones con un valor de verdad definido), de ahí el
nombre proposicional. Los sistemas de lógica proposicional incluyen además
conectivas lógicas, por lo que dentro de este tipo de lógica se puede analizar
la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener
en cuenta la estructura interna de las proposiciones más simples.

Como las lógicas proposicionales no tienen cuantificadores o variables de

individuo, cualquier secuencia de signos que constituya una fórmula bien
formada admite una valoración en la proposición es verdadera o falsa
dependiendo del valor de verdad asignado a las proposiciones que la
compongan. Esto implica que cualquier fórmula bien formada define una
función proposicional. Por tanto, cualquier sistema lógico basado en la lógica
proposicional es decidible y en un número finito de pasos se puede determinar
la verdad o falsedad semántica de una proposición. Esto hace que la lógica
proposicional sea completa y con una semántica muy sencilla de caracterizar.
La lógica proposicional o lógica de orden cero es la rama de la lógica
matemática que estudia proposiciones, afirmaciones u oraciones, los
métodos de vincularlas mediante conectores lógicos y las relaciones y
propiedades que se derivan de esos procedimientos. Es una herramienta útil
para razonar, pero no puede resolver problemas que requieren analizar la
estructura interna de las proposiciones o de las relaciones entre ellas. Este
tipo de lógica considera las proposiciones como elementos atómicos y no
tiene cuantificadores o variables de entidad.
En este proyecto de aprendizaje estudiaremos sus componentes, las formas
en las que se combinan y diferentes métodos para realizar demostraciones
básicas. En particular nos enfocaremos en un tipo específico de lógica
proposicional donde los valores de verdad de las expresiones se puede
determinar exclusivamente a partir de los valores de verdad de sus
componentes y donde cada proposición puede tener únicamente dos valores
posibles: verdadero o falso, pero no otros valores y solamente uno de ellos
(las proposiciones no pueden ser falsas y verdaderas al mismo tiempo).

Influencia del el desarrollo matemático

Los alumnos, cuando abordan en sus cursos de matemáticas el tema de la

lógica proposicional, manifiestan un alto grado de desmotivación, debido a la
manera como este se les presenta. Su enseñanza se centra en encontrar el
valor de verdad de las proposiciones y demostrar sus propiedades mediante el
uso de tablas de verdad, olvidando, en la mayoría de los casos, la importancia
de aplicar dichos conceptos y propiedades a situaciones reales, lo que daría
sentido a lo que aprenden, pues además de desarrollarles el pensamiento
formal, les permitiría adquirir un aprendizaje significativo. De esta manera, lo
que se pretende con este trabajo es presentar algunos ejemplos en contextos
reales, donde se apliquen ciertos conceptos y propiedades de la lógica
proposicional, que sirvan como motivación para el trabajo en el aula tanto para
docentes como para estudiantes, como una manera de ayudar a estos últimos
a desarrollar el pensamiento formal y a adquirir un aprendizaje significativo de
esta área del saber. Se presentan los distintos conectivos lógicos (negación,
conjunción, disyunción, condicional y bicondicional), se muestran algunos
referentes teóricos y se dan algunos ejemplos en contexto.
EL pensamiento formal presenta tres características funcionales: El mundo de
lo posible frente al mundo de lo real, el pensamiento hipotético deductivo, el
uso de la combinatoria y el pensamiento proposicional. De esta manera, el
pensamiento formal es una orientación generalizada para la resolución de
problemas, ya que en él un individuo está en capacidad de organizar datos, de
aislar y controlar variables, de hacer hipótesis y de justificar y hacer pruebas
lógicas, Esto último está relacionado con el manejo de operaciones lógicas
contenidas en datos reales, donde se operan proposiciones que involucran las
distintas formas de conectivos lógicos, característico del pensamiento
proposicional. Los conceptos y propiedades de la lógica, al igual que toda
estructura matemática, se encuentran interrelacionados, siguen
procedimientos claros, ordenados y precisos, y toman significado cuando son
aplicados a distintos tipos de contexto. De ahí que el papel del docente sea
ayudar a los estudiantes a comprender estas relaciones y a desarrollar
habilidades propias del pensamiento formal, con las que puedan dar solución
a situaciones de la vida real. De esta manera, se adquiriría un aprendizaje
significativo de la lógica proposicional.