CONCEPTO DE PROPOSICION LOGICA – PROPOSICIONES SIMPLES Y COMPLEJAS

LOGICA PROPOSICIONAL

1. CONCEPTO DE PROPOSICION LOGICA – PROPOSICIONES SIMPLES Y COMPLEJAS

1.  Proposición lógica: Es una oración con valor referencial o informativo, de la cual se puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a vez; las proposiciones lógicas se dividen en dos tipos, simples y compuestas, es importante tener en cuenta que no son proposiciones las opiniones y suposiciones; los proverbios, modismos y refranes; los enunciados abiertos no definidos; las oraciones interrogativas, exclamativas, desiderativas, imperativas y dubitativas; las interjecciones en general; ni las operaciones aritméticas.  Por otro lado, las proposiciones se representan por letras minúsculas empezando por la letra p (de proposición) luego q, r, s, etc. A continuación, algunos ejemplos de proposiciones lógicas:

• p: Cristóbal Colón descubrió a América
• q: En Bogotá hace mucho frío
• r: Hoy no está nublado

1.  Proposiciones Simple o Atómicas: Son aquellas que carecen totalmente de conectivos lógicos y que, por lo tanto, son inseparables. En este grupo se encuentran las proposiciones predicativas, que son aquellas en la cual se afirma o atribuye una característica respecto de un objeto y las proposiciones relacionales, en las cuales existe una relación de dependencia, estableciendo un enlace entre dos o más objetos, en conclusión, una proposición lógica es simple si solo tiene un sujeto y un predicado. Ejemplos:

• p: Ana camina lento.
• q: Un caballo negro.
• r: Oscar es profesor.

1.  Proposición Compuesta o Molecular: Son aquellas que resultan de la combinación de varias proposiciones simples, unidas por uno o más conectivos lógicos y que pueden ser separadas y descompuestas en proposiciones más simples. Su valor de verdad depende del de las proposiciones que la componen.  Ejemplos:

• p: El computador es negro o blanco = pVq
• q: El teléfono es azul o verde = pVq
• r: Samuel monta bicicleta y Brandon corre por la calle = p˄q

...