UNIVERSIDAD NACIONAL DE SAN CRISTÓBAL

DE HUAMANGA

GUÍA DE

LÓGICA
PARTE I I

ENCARGADO:

DR. CRISTHIAN N. ALDANA YARLEQUÉ

“Si
a la orilla del mar encuentras alguien con
hambre, no le regales un pez, enséñale a pescar”
 LÓGICA PROPOSICIONAL

En este capítulo estudiaremos de manera formal y simbólica, la Lógica

Proposicional, llamada también Lógica de las Proposiciones.
En este contexto desarrollaremos el concepto de variables proposicionales,
conectivos lógicos, signos de agrupación, fórmulas lógicas bien formadas (FBF) ; así
como proposiciones y sus clases, simbolización de proposiciones luego tablas de
verdad; simbolización de inferencias y luego métodos para decidir su validez o
invalidez.

ENUNCIADOS

ENUNCIADOS PROPOSICIONALES ENUNCIADOS NO PROPOSICIONALES

LÓGICA LÓGICA
PROPOSICIONAL CUANTIFICACIONAL
I) PROPOSICIÓN.- Es un enunciado, oral o escrito, de un juicio que tenga sentido
completo de afirmar y que su contenido sea VERDADERO (V)
o FALSO (F).

Si no se cumplen estas condiciones no estaremos frente a una proposición y si

no hay proposición no se podrá sacar una conclusión, no se podrá INFERIR. Toda
proposición debe tener sujeto y predicado.
Ejemplo: Juan es ingeniero.
Como se observa:
Se está afirmando que Juan es ingeniero; falta conocer el “contenido” de tal
afirmación, ésta puede ser “verdad” o puede ser “ falsa ” , pero definitivamente no
puede ser ambas a la vez.

Otros ejemplos:
1. La tierra no se mueve ( F ).
2. 5 + 4 > 12 ( F ).
3. 8 – 3 < 6 ( V ).
4. Todos los hombres pesan 70 Kg. ( F ).
5. El ángulo del triángulo equilátero tiene 60º ( V ).
6. Yo te amo . ( No es proposición sólo enunciado ).
7. Andrés que bien juega el tenis ( No es proposición ).
8. Viva el Perú ( No es proposición ).

II) CLASES DE PROPOSICIONES.- Las proposiciones por su extensión pueden ser:

A. PROPOSICIONES SIMPLES O ATÓMICAS.- Son aquellas proposiciones que

están formadas por sujeto y predicado y carecen totalmente de conectores lógicos
sean monádicos o binarios. Estas proposiciones pueden ser Predicativas o
Relacionales.

1. PROPOSICIONES SIMPLES PREDICATIVAS : Son aquellas que están formadas

por un sujeto y un predicado, además atribuyen o afirman una característica
respecto de un objeto.
Presenta la siguiente forma lógica : S es P.
Ejemplo:
1. La lógica es una ciencia.
2. Platón fue maestro de Aristóteles.
2. PROPOSICIONES SIMPLES RELACIONALES : Establecen un enlace o nexo
(relación) entre dos o más objetos que tienen una misma categoría gramatical.
Su forma lógica es : A r B
Ejemplo:
a) Lambayeque esta al Norte de La Libertad ( relación espacial ).

A Término B
Relacionante

b) Ciro Alegría fue contemporáneo de J.M. Arguedas ( relación temporal ).

A Término relacionante B

c) Clay y Foreman se pegaron boxísticamente.

A B relación de acción

B. PROPOSICIONES COMPUESTAS O MOLECULARES.- Las proposiciones

compuestas son aquellas formadas o por una proposición atómica negada o también
por la combinación de proposiciones simples unidas por uno o más conectores lógicos
( llamados también conectivos lógicos, los cuales son símbolos : ۸, ۷, → , ↔ , etc ).
Ejemplos: a.- Manuel no juega Básquet.
b.- César nada en el mar sin embargo no pesca.

NOTA .- El negador es un conector monádico que al estar unido a una proposición

simple la convierte en una proposición compuesta.
Ejemplo: Martín no tiene una empresa de telas.

OBSERVACIÓN : Se llaman VALORES VERITATIVOS O VALORES DE VERDAD

de una proposición a sus dos valores posibles: Verdadero ( V ) o Falso ( F ). Estos
posibles valores se pueden esquematizar en una TABLA DE VERDAD como sigue :

V
F
III). VARIABLES PROPOSICIONALES.- Son letras o símbolos que representan a
proposiciones simples. Para denotarlas empleamos las letras minúsculas del
abecedario como: p, q, r ,s , t , ... etc.
Pero en el caso que se quieren denotar muchas proposiciones utilizamos P1, P2 ,
P3,..., Pn.
Por ejemplo : dada la proposición:
7 es un número primo
su representación simbólica es : p.
Por que : p : 7 es un número primo.
Otros ejemplos: P1 : 7 + 3 = 10
P2 : 5 ≠ 7
P3 : Teresa tiene su auto.

IV). CONECTIVOS U OPERADORES LÓGICOS.- Son símbolos que sirven de

enlace entre dos o más proposiciones simples y forman proposiciones compuestas.
Se clasifican en:
a) MONÁDICOS : Afectan a una sola variable o proposición y sólo es :

1. La negación : “ ~ “
Ejemplo: 5 no es número par .
p : 5 es numero par ; por lo tanto 5 no es numero par Ξ ~ p.

b) BINÁDICOS : Afectan a dos o más variables o proposiciones simples y son:

1. La conjunción (  ) se lee “ y ”
Ejemplo : Jorge es abogado y administrador : p ۸ q
2. La disyunción débil (  ), se lee “ o ”
Ejemplo : Juana es estudiante o profesional : p  q
3. La disyunción fuerte ( ,  , Δ ,  ) , se lee “o...o...”
Ejemplo : o 5 es par o 5 es impar : p Δ q.
4. La condicional (  ) se lee “sí ....entonces....”
Ejemplo: Si estudias entonces ingresarás : p  q
5. El replicador (  ) se lee “...sí ...”
Ejemplo: Morirás si estás con SIDA : p  q
6. La bicondicional (  ) se lee “...si y solo sí...”
Ejemplo: Suben los precios sí y solo si sube la gasolina : p  q
 7. La negación conjuntiva ( ↓ ) se lee “Ni...ni...”
Ejemplo: Ni cantas , ni bailas : p ↓ q
8. La negación disyuntiva ( / ), se lee “ No... o no...”
Ejemplo: No eres pintor o no eres artista: p / q.
NOTA:
p ↓ q Ξ ~p ~q
p / q Ξ ~p ~q

Del conocimiento de estos conectivos y del correcto uso de los mismos

dependerá la rapidez y facilidad para aprender el curso y resolver problemas.

V). SIMBOLIZACIÓN DE PROPOSICIONES Y EL USO DE LOS SIGNOS DE

AGRUPACIÓN.- Simbolizar una proposición compuesta consiste en asignar a cada
proposición simple una variable proposicional y a cada conector lógico su respectivo
símbolo, teniendo en cuenta la jerarquía de los conectivos lógicos o de lo contrario los
signos de puntuación ( coma, punto y coma, punto seguido ); empleando para esto
signos de colección:

Paréntesis ( ) ; corchetes [ ] ; llaves { }

Se debe tener en cuenta la prioridad que tiene los conectivos lógicos en el siguiente
orden, de menor a mayor:

1. Negación : “~ “
2. Conjuntor y disyuntor débil : “  “, “  “

3. Implicador : “ → “

4. Disyunción fuerte : “ ∆ “
5. Biimplicador : “ ↔ “

Hay que tener en cuenta que cualquier conectivo fuera de todo signo de
colección se convierte en dominante.
Ejemplo : Es inconcebible que Martín salga desaprobado , si estudia incluso se
esfuerza.
Luego : p : Martín sale desaprobado
q : Martín estudia
r : Martín se esfuerza.
Es inconcebible que p , si q incluso r

~ p , si q ٨ r Ξ ~ p  (q  r)

VI). SINÓNIMOS DE LOS CONECTIVOS LÓGICOS.

1. CONJUNTOR : p  q, se lee “p y q “ , siendo su traducción verbal:

p incluso q , p pero q, p aunque q , p al igual que q , p aún cuando q, p tal como q,
tanto p como q, p además q, p empero q, p a la vez q, p también q , p así como q, p al
mismo tiempo que q, p del mismo modo q , p sin embargo q , p no obstante q , p así
mismo q, p de la misma manera q, p a pesar de q, p igualmente q , p sino q , no sólo p
sino también q , etc.

2. DISYUNTOR INCLUYENTE : p  q , se lee “ p o q “, su traducción verbal :

p a menos que q , a menos que p,q , p salvo que q , p y bien q, p o también q, p
excepto q , p o incluso q, p o a la vez q, p ya bien q ,p y/o q, p o también q.

3. DISYUNTOR FUERTE : p  q , p  q, p q, p ∆ q, p  q, se lee:

o p o q, o bien p o bien q, p o solamente q , p o únicamente q, p o sólo q, p no es
equivalente a q , no es equivalente p con q, p no biimplica a q.
4. IMPLICADOR : p  q , p  q , p  q ; se lee :
Si p entonces q, en cuanto p por tanto q, siempre que p por consiguiente q, ya
que p bien se ve que q, con tal que p es obvio que q, cuando p así pues q, toda
vez que p en consecuencia q, ya que p es evidente q, dado que p,q , en la medida
que p de allí q, p luego q, p impone q, de p deviene q, de p derivamos q, de p
inmediatamente q, p implica q, como quiera que p por lo cual q, en el caso de que p
en tal sentido q, una condición necesaria para p es q, p es condición suficiente para
q, p sólo si q, en el caso de p en este caso q, de p deducimos(inferimos,
concluimos, llegamos) en q, en virtud de que p es evidente dado p por eso q.
5. REPLICADOR : p  q , q  p , p  q ; se lee:
p si q, p ya que q, p a condición de que q, p en vista de que q, sólo si p, q , p si q,
p porque q, p siempre que q, p para q, p puesto que q, p dado que q, p supone que
q, p pues q, es condición necesaria p para q, p es condición necesaria para q, p en
vista que q, para p es suficiente q, p es insuficiente para q, p cada vez que q, p se
concluye( deduce, infiere, o sigue) de q.
 6. BIIMPLICADOR : p  q ; se lee:
p sí y sólo si q, p siempre y cuando q, p se define lógicamente como q, p es
equivalente, equivale a q, p por lo cual mismo que q, p si de la misma forma q, p es
idéntica a q, p es igualmente ( es igual ) q, p cada vez que y sólo si q, p es
equilpotente a q, p es condición necesaria y suficiente para q, p siempre que y sólo
cuando q, p por lo cual y según lo cual q, p es lo mismo que q.

7. NEGADOR : ~ p ; se lee:
tampoco p, no p, nunca p, jamás p ; es absurdo que p, es inconcebible que p, no
ocurre que p, no es cierto que p, es imposible que p, no es verdad que p, es
mentira que p, es inadmisible que p, no acaece que p, no es innegable que p, de
ninguna forma se da p, es erróneo que p, es incierto que p, nadie que sea p, es
incorrecto que p, no es inobjetable que p, no siempre que p, no es que p, en modo
alguno p, en forma alguna p, es falso que p, carece de todo sentido que p, de
ningún modo p.

Nos toca ahora dar las reglas que permitan combinar correctamente los
conectivos lógicos.

VII). REGLAS DE FORMACIÓN

Estas reglas de formación ( RF ) permiten distinguir entre las fórmulas bien
formadas ( FBF ) y las mal formadas ( FMF ) , y constituyen las reglas sintácticas
de nuestro lenguaje.

a) Toda variable proposicional es una FBF.

b) Si A es FBF , entonces ~ A también lo es.

c) Si A y B son FBF, entonces :

I) (A  B) también lo es.
II) (A  B) también lo es.
III) (A  B) también lo es.
IV) (A ↔ B) también lo es.

d) Una fórmula es una FBF sí y sólo si es el resultado de la aplicación de las

reglas anteriores un número finito de veces.
VIII). VERDAD FORMAL
Cómo se sabe de antemano, una proposición simple puede tomar un valor de
verdad posible ( V o F ) basta analizar directamente la oración; pero cuando se
utilizan los conectivos lógicos se pueden combinar cualquier número finito de
proposiciones compuestas básicas para obtener otras cuyos valores de verdad
pueden ser conocidos construyendo sus tablas de verdad, teniendo en cuenta
que cada uno de los conectivos tiene su respectiva regla de veracidad.

1. TABLAS DE VERDAD .- Nos permite representar un razonamiento y

hallar su validez.
Si tenemos una proposición simple existirán siempre dos posibles valores
de verdad ( V o F ).

p : v(p) = V ó v(p) = F

Pero, si tenemos dos proposiciones simples existirán cuatro posibles

arreglos o combinaciones de valores de verdad:
p q
V V
V F
F V
F F

TABLAS DE VERDAD DE LOS CONECTIVOS LÓGICOS.

CONECTIVOS SIMBÓLICAMENTE VALORES DE VERDAD
Conjunción A  B V–V=V
Disyunción Incluyente A  B F–F=F
Disyunción Excluyente A ∆ B V–V=F ; F– F=F
Implicación A B V– F=F
Replicación A B F–V=F
Biimplicación A ↔B V–V=V ; F– F=V
Negación Conjuntiva A ↓ B F- F=V
Negación Disyuntiva A / B V–V=F
Negación ~A ~V=F
De modo general, para formar una tabla de verdad debemos tener en cuenta lo
siguiente:

Si son “n” proposiciones simples utilizadas, las posibles combinaciones de valores

n
de verdad del esquema o tabla serán 2 y el resultado del esquema lógico se llamará
Matriz de verdad del esquema.

NOTA : Puede darse el caso que: V = 1 ; F = 0

Ejemplo : Hallar la tabla de verdad de la proposición compuesta:

( ~pvq ) (r p)

Como vemos existen tres proposiciones simples en el ejemplo, por lo que tendremos
23 = 8 posibles combinaciones de valores de verdad esto es :

p q r ~ p ~ pq r  p (~pq)→(rp)

V V V F V V V
V V F F V F F
V F V F F V V
V F F F F F V
F V V V V F F
F V F V V F F
F F V V V F F
F F F V V F F