Proposiciones y conectores logicos

1. A una proposición de tipo compuesta también es posible asignar un valor de verdad para toda la proposición, aunque a veces no resulta tan fácil identificarlo, sin embargo, este valor de verdad depende del valor de verdad de las proposiciones individuales y del tipo de conector con el que se formó la unión. En la lógica proposicional hay una manera fácil de identificar el valor de verdad de proposiciones compuestas, y es a través de las llamadas tablas de verdad,

2. Ejemplos a) El gato es un mamífero b) El número tres es mayor que el número nueve c) El planeta tierra es cuadrado d) El agua es un líquido e) La clase de las cinco f) Compra un kilogramo de azúcar g) El número x es par

3. La unión de proposiciones se da a través de conectores, que en este entorno se denominan conectores lógicos. Por ejemplo, sean p y q dos proposiciones: p: 3 es mayor que 9 q: 3 es impar Podemos formar proposiciones compuestas del tipo: p y q: 3 es mayor que 9 y 3 es impar o p o q: 3 es mayor que 9 o 3 es impar

4. Una proposición en este ámbito es cualquier oración o expresión que puedas clasificar como verdadera o falsa, pero no ambas.

5. Como puedes observar, únicamente algunas de estas oraciones o expresiones les corresponde un valor de verdadero o falso, pero no ambos, así pues la oración del inciso (a) la clasificamos como verdadera, el inciso (B) contiene una oración falsa, el inciso (c) representa una oración falsa y finalmente el inciso (d) es una oración verdadera. A las expresiones (e), (f) y (g), por su propia naturaleza no es posible asignarles un valor de verdad, luego entonces, decimos que únicamente las oraciones de la (a) a la (d) son proposiciones