PROPOS I C

I C A I O

NA
LÓG

L
La lógica ayuda a clarificar el discurso y a proceder con orden
en tu razonamiento: saber cuándo es posible ofrecer un
argumento válido, así como también lo que puede implicar
algunas de tus creencias o argumentos.

Es una parte de todo el estudio de la lógica

clásica. Se encarga del estudio de las
proposiciones, haciendo uso del lenguaje
formal y ciertas reglas.

La lógica proposicional consta de argumentos, éstos pueden ser válidos o

inválidos. A su vez los argumentos constan de:

Letras proposicionales (como "P", "Q", "S" o cualquier símbolo/letra

que represente una proposición).

Signos de agrupación: Como paréntesis, corchetes o llaves; evita

que algunas expresiones sean ambiguas.

⊃ ↔ ⊕
Conectivas: "&", "v", " ", " ", " ", "¬", etc.

Propiedad de los argumentos.

La conclusión puede (o no) seguirse de las premisas.
Si un argumento es inválido, quiere decirse que es imposible
que las premisas sean verdaderas y la conclusión sea falsa.
Se puede demostrar la validez de un argumento de manera
semántica, o bien, sintáctica.

Refiere a los valores de verdad

Para ello es necesario que
conozcas los valores de verdad
de cada conectiva.
Existen al menos dos métodos
para demostrar validez semántica:
tablas de verdad y asignación de
valores.

La conclusión se sigue de las premisas a

través de ciertas reglas que conocerás
más adelante; estas reglas se llaman:
- reglas de inferencia.
- reglas de equivalencia.