Lógica Proposicional

- Su objeto de estudio son las proposiciones y razonamiento proposicionales.

- Busca establecer la verdad o falsedad de una proposición dada y la validez e
invalidez de los razonamientos proposicionales.
- El lenguaje abstracto de la lógica proposicional puede constituirse con
Independencia del lenguaje interpretado.
Lenguaje Interpretado: pedro y Juan
Lenguaje Abstracto: (p . q)
Recordatorio: las proposiciones atómica y moleculares son los que en gramática
Llamamos oraciones enunciativas.
 Variables
proposicionales
Son símbolos representados por letras. Nos permiten identificar las
destinas variables proposicionales. Estos símbolos son representados
por letras en minúsculas, p, q, r, s, t, etc.
Las proposiciones atómicas dentro de las
proposiciones moleculares están unidas
por conectivas proposicionales
Signos de Puntuación indican cuales son
los elementos que las conectivas
extensionales afectan o se relacionan
Estos son: Paréntesis ( ), Corchetes [ ] y
llaves { }. Se utilizan para agrupar.
(p.q)~ [ p.(r<s) ]
Abstracción: pasaje de un lenguaje
interpretado, a ser representado por una
variable proposicional (p, q, r, s). La
interpretación es a la inversa.
Reglas de abstracción

 1 – Cada proposición Atómica del lenguaje interpretado será representado por

una variable proposicional (p, q, r, s).
 2 Las proposiciones se abstraen por el mismo procedimiento dado en la Regla
1. Se abstraen también las conectivas. Ej. “si pienso, entonces existo”: (p<q)
 Si una proposición aparece mas de una vez deberá abstraerse con la misma
letra en todos los lados que aparezca. Ej. “llueve o no llueve” (p v ~p)
 3 Los signos de puntuación se utilizan siempre en el mismo orden: paréntesis,
corchete y llaves. Ejemplo:
“ si estudias lógica proposicional y haces los ejercicios, todo esto será mas
fácil y también entretenido o bien muy aburrido”.
(p.q) < [ ( r.s) v t]
 Tablas de verdad
 Toda proposición posee una valor veritativo – o bien un Valor Verdadero y Uno
Falso. Por esto entendemos que la Lógica proposicional es Bimodal.
 También dado el principio de no contradicción damos cuenta que ninguna
proposición puede ser V o F a la vez
Clasificación de las proposiciones según
su tabla de verdad.
 Negacion:si la proposición afirmativa es V, la negativa será F y viceversa.
 La conjunción será verdadera solo cuando ambos miembros lo sean.
 La disyunción inclusiva será falsa solo cuando ambos miembros lo sean.
 La disyunción exclusiva será verdadera cuando sus miembros tengan distinto
valor de verdad.
 El condicional es falso cuando el antecedente es verdadero y el consecuente
falso.
 El bicondicional es verdadero cuando ambos miembros tienen el mismo valor
de verdad