República bolivariana de Venezuela.

Ministerio del P.P para la educación.

Universidad Nacional Experimental Simón Rodríguez.

Núcleo Maturín

PRECALCULO
Consideremos el siguiente argumento:

1-) Mañana es lunes o mañana es martes.

2-) Mañana no es martes.

3-) Por lo tanto mañana es lunes.

Es un argumento válido. Esto quiere decir que es imposible que las

premisas sean verdaderas y la conclusión falsa. No quiere decir que la
conclusión sea verdadera. Si las premisas son falsas, puede que la
conclusión también lo sea. Pero, si las premisas son verdaderas, la
conclusión también lo es. La veracidad de este argumento no se debe al
significado de las expresiones “Mañana es lunes” y “Mañana es martes”,
porque estas podrían cambiarse por otras y el argumento permanecer valido.
Ejemplo:

1-) Esta soleado o esta nublado.

2-) No esta nublado.

3-) Por lo tanto esta soleado.

La validez de estos argumentos depende del significado de las

expresiones “o”, “y”, “no”. Si alguna de estas expresiones se cambiara por
otra, los argumentos dejarían de ser válidos.

Ejemplo:

1-) Ni esta nublado ni esta soleado.

2-) No esta nublado

3-) Por lo tanto esta soleado.

Las expresiones de las que depende la validez de los argumentos se

llaman Constantes lógicas. La lógica proposicional estudia el
comportamiento de algunas de estas expresiones, llamadas Conectivas
lógicas. En cuanto a las expresiones como “Esta nublado”, lo único que
importa de ellas es que tengan un valor de verdad. Es por esto que se les
reemplaza por letras. La intención que tienen las letras es simbolizar una
expresión con valor de verdad. A estas letras se les denomina Variables
proposicionales y se toman letras del alfabeto, empezando por la “p”, luego
la “q”, “r”, “s”, etc. Gracias a esto los dos primeros argumentos pueden
reescribirse así:

1-) p o q.

2-) No q.

3-) Por lo tanto, p.

Y el tercer argumento, a pesar de no ser valido, puede reescribirse así:

1-) Ni p ni q.

2-) No q.

3-) Por lo tanto, p.

A continuación, una tabla que enseña todas las conectivas lógicas que
ocupan a la lógica proposicional, incluyendo ejemplos de su uso y símbolos
que se usan para representarlas.
 En la lógica proposicional, a las conectivas lógicas se les trata como
funciones de verdad.