PRUEBAS FORMALES EN LA LÓGICA PROPOSICIONAL
PROPOSICIONES.- Son expresiones del lenguaje que se caracterizan por ser
verdaderas o falsas. Ejemplo.
• Cusco es capital arqueológica del Perú.(V)
• Puno es ciudad costeña. (F)
CLASES DE PROPOSICIONES
A) SIMPLES O ATÓMICAS.- Son aquellos enunciados que no están unidos por
conectores; informan algo de la realidad. Ejemplo.
Algunos jóvenes son artistas
El hombre es un ser social
Se divide a su vez en predicativas y relacionales:
a. PREDICATIVAS.- Son las que afirman o niegan en el predicado a un sujeto; se
refiere a la cualidad o propiedad que tiene el sujeto. Ejemplo:
Ricardo es arquitecto
El número cinco es impar
b. RELACIONALES.- Consiste en relacionar dos o más sujetos entre sí. Ejemplo:
• Elena es novia de Leo
• Carlos juega con su amigo
• Vivo con mi hija
B) PROPOSICIONES COMPUESTAS.- Se llaman también coligativas, son
aquellos que sirven para unir proposiciones simples. Se unen por medio de
conectores lógicos. (Rosales, 1988) Ejemplo:
• Llueve y hace frio
• Manu está jugando y Leo está estudiando
• Aplicamos una política económica ortodoxa o aplicamos una política
económica mixta.
TIPOS DE PROPOSICIONES COMPUESTAS
1. CONJUNTIVAS.- Son aquellas proposiciones que se relacionan mediante el
conector ‚y‛ o expresiones lingüísticas que cumplen igual función: pero, sin
embargo, aunque, pues, puesto que, incluso, además, no obstante, entre otros.
Ejemplo:
• La Lógica es una ciencia formal, además se originó en la Filosofía
• Cusco es capital histórica del Perú también ombligo del mundo
2. DISYUNTIVAS. - Son aquellas proposiciones compuestas que se relacionan
mediante el conector ‚o‛. Tenemos dos tipos:
a) Disyunción débil o inclusiva.- Cuando ambas alternativas pueden cumplirse a
la vez. Ejemplo:
• Lucio es filósofo o matemático
• Karina es cantante o bailarina
b) Disyunción fuerte o exclusiva.- Cuando ambas alternativas no pueden darse
al mismo tiempo. Ejemplo:
En la Final gana Argentina o gana Brasil
estás despierto o estás durmiendo
Sólo tiene dos opciones:
Si gana Argentina, no gana Brasil
Si gana Brasil, no gana Argentina
3. CONDICIONALES O IMPLICATIVAS. Son aquellas proposiciones que se
relacionan mediante el conector ‚si… entonces…‛ La proposición que cumple el
papel de causa se denomina antecedente y la proposición que cumple el papel de
efecto se denomina consecuente. Tiene expresiones equivalentes como ‘por lo
tanto’, ‘de ahí que’, ‘en consecuencia’ entre otros.
“ Si estoy sano entonces me voy de viaje
“ Si su papá le da permiso, Ismael irá al cine
Existen algunos casos en que deben invertirse; es decir, primero va el consecuente
y luego el antecedente, entre estos conectores tenemos: ‘puesto que’, ‘porque’, etc.
Ejemplos:
“ La ciudad está mojada, pues seguramente anoche llovió
“ La física relativista fue posible, porque existió la mecánica clásica
4. BICONDICIONALES. Son proposiciones unidas en una relación de
interdependencia o de condicionalidad recíproca. Se relacionan mediante el
conector ‚si y solo si‛. También se utilizan los términos ‚siempre y cuando‛,
‚siempre que‛, ‚solamente si‛, ‚es equivalente a‛, entre otros.
. Hoy es lunes si y sólo si mañana es martes
. Seré tu amiga únicamente si eres sincera
USO DE LA NEGACIÓN
Es aquella que invierte el significado proposicional a partir de una proposición que le
dio origen. Es decir, si una proposición es afirmativa pasa como negativa, y si es
negativa pasa como afirmativa. La negación se debe entender como lo opuesto a una
proposición original. No enlaza proposiciones, como los demás conectores. También
se emplea otros términos como: ni, nunca, jamás, tampoco, nada, nadie, ningún, le
falta, carece de, no es cierto que, entre otros.
La negación simple es cuando se niega una proposición atómica. La negación
compuesta es cuando se niega una proposición molecular, ejemplos:
Proposición original Proposición negada
He visto un volcán No he visto un volcán
A Daniel le falta carácter A Diego no le falta carácter
No es cierto que Luis es
trapecista Es cierto que Luis es trapecista
Luis es ingeniero pero no sabe No es el caso que Luis sea ingeniero y que no
leer sepa leer
USO DE SIGNOS AUXILIARES DE AGRUPACIÓN
VARIABLES. Son símbolos que representan a las proposiciones simples, se
reemplaza con las letras minúsculas del alfabeto castellano, como: p, q, r, s…
también suele usarse A, B, C, D,…
CONECTORES LÓGICOS (operadores). Tenemos dos tipos :
Monádicos. Aquellos que afectan a una sola variable (simple o compuesta). El
único operador monádico es la negación. Ejemplo:
~p
~(pq)
Diádicos o Binarios. Llamados también diádicos. Son aquellos que afectan a dos
variables o tienen la función de unir dos variables (simples o compuestas); entre
estos tenemos:
La Conjunción pq
La Disyunción débil pq
La Disyunción fuerte p↮q
La Condicional pq
La Bicondicional pq
SÍMBOLOS AUXILIARES
Se utilizan para unir o separar las fórmulas proposicionales; entre estos tenemos los
signos de agrupación (paréntesis; corchetes y llaves) y los signos de puntuación.
Ejemplo:
{[(p ∧ q) → (p ∨ q)] ⟷ (p ↮ q)}
p ∧ q ∶ →∶ p ∨ q
p∧q.→.p∨q
FORMALIZACIÓN DE PROPOSICIONES DE 1, 2 Y 3 VARIABLES.
FÓRMULA ATÓMICA. Es cuando contiene operadores entre sus signos. Sólo
se representa con una variable. Corresponde a las proposiciones simples.
Ejemplo:
“ El gato es felino = p
FÓRMULA MOLECULAR. Cuando entre sus variables contiene uno o más
operadores. Corresponde a las proposiciones compuestas. Ejemplo:
El perro no es arácnido ~p
El lobo es canino y el perro también (p ∧ q)
El perro es mamífero pero el loro no (p ∧ ~q)
