U N I V E R S I D A D

D E
SAN MARTN DE PORRES
FILIAL DEL NORTE

LGICA
PROPOSICIONA
L
Mg. RAMIRO GMEZ
IPARRAGUIRRE

LGICA
PROPOSICIONAL
ES LA PARTE MS SENCILLA DE LA LGICA, PUES EN ELLA NO SE
ANALIZAN LAS PROPOSICIONES EN FORMA INDIVIDUAL SINO EN
BLOQUE, MEJOR DICHO, COMO SI FUERAN UN CONJUNTO.

I.
PROPOSICIN.1.
DEFINICIN.SON
ORACIONES
ASEVERATIVAS
O
DECLARATIVAS,
QUE
SE
CARACTERIZAN
POR
SER
VERDADERAS O FALSAS, PERO NO AMBAS COSAS A LA VEZ.
CUMPLEN
UNA
FUNCIN
INFORMATIVA
SEALANDO
ACONTECIMIENTOS, HECHOS QUE SE DAN EN LA REALIDAD
OBJETIVA.
LAS PROPOSICIONES SON LOS ELEMENTOS FUNDAMENTALES
DEL RAZONAMIENTO O INFERENCIA.

SON
PROPOSICIONES
-Las oraciones aseverativas.
-Las leyes cientficas.
-Los enunciados
cerrados o definidos.
-Las oraciones elpticas.

NO SON
PROPOSICIONES
- Los sujetos ficticios
- Los proverbios, modismos, refranes.
- Creencias religiosas
- Supersticiones y mitos.
- Enunciados abiertos o indefinidos.
- Las interrogaciones
- Las ordenes.
- Las interjecciones.
- Los deseos, dudas y splicas.

Colocar P si es
Proposicin

1. a es la capital de Argentina.
2. Eres lo mximo!
3. X+5 =23.
4. Los Perros Hambrientos.

5. Deseamos recuperar el Huscar.

6. Amar es sacrificarse por la pareja
7. El terremoto en Ica dej 519 muertos.
8. La negra tiene tumbao.
9. Miguel Grau naci en Piura
10.El tringulo es inteligente
11.Chiclayo y Chota son provincias
12. Carlos Antonio es un nmero racional.
13. Me parece que Joaqun est trabajando

N.P
N.P
N.P
N.P
N.P
N.P
P
N.P
P
N.P
P
N.P
N.P

2. PROPIEDADES.2.1
CANTIDAD.A. UNIVERSALES.- cuando el sujeto est tomado en toda su
extensin
Ejemplo:

Cualquier ser humano es inteligente.

Ningn ave es cuadrpeda.

B. PARTICULARES.- cuando el sujeto es tomado en parte de

su extensin. Ejemplo:
Algunos profesionales son mdicos.
Ciertos mdicos son pediatras.
2.2
CUALIDAD.A. AFIRMATIVAS.- son las que indican una caracterstica o
cualidad del sujeto. Ejemplo:
Muchos pases son europeos.
B.

NEGATIVAS.- son las que rechazan o niegan una

caracterstica o cualidad del sujeto. Ejemplo:
No hay jueces puntuales.

3. CLASIFICACIN.3.1 SIMPLES.- (atmicas, elementales o bsicas). Son aquellas

que carecen de enlaces lgicos o conjunciones gramaticales;
adems carecen del adverbio de negacin NO.
No se pueden dividir en enunciados ms simples. Ejemplo:
La lgica es distinta a la matemtica.
Las proposiciones simples se clasifican en: predicativas y
relacionales.
A.
PREDICATIVAS.(sujeto+verbo+predicado).
Son
proposiciones que atribuyen una cualidad o caracterstica al
sujeto. Ejemplo:
La Lgica es una ciencia
sujeto
V
predicado
B. RELACIONALES.- (A r B). Son proposiciones que establecen
un nexo entre dos o ms sujetos. Este nexo no puede
eliminarse, razn por la cual un sujeto depender del otro
necesariamente. Las relaciones pueden ser de afinidad,
ubicacin o grado. Ejemplo:
Julia es hermana de Brenda
Relacin de afinidad
sujeto Relacin
Sujeto

3.2

COMPUESTAS.-

(coligativas

moleculares).

Son

aquellas que estn formadas por 2 o ms proposiciones

simples

unidas

por

un

conectivo

lgico

o,

es

una

proposicin simple afectada por el adverbio NO. Ejemplo:

Cuatro es un nmero par

si y slo si

es divisible por dos

proposicin simple

conector

proposicin simple

Las Proposiciones Compuestas son:

A. CONJUNCIN.- son dos proposiciones simples unidas
por el trmino Y, e, tanto . como , como,
tambin, adems, pero, sin embargo, igualmente,
aunque, nini, etc. La conjuncin es conmutativa , es
decir, se puede permutar el orden de sus proposiciones
componentes sin alterar la conjuncin. Ejemplo:
Maana ir a la playa
y
jugar Ping
Pong
Proposicin simple
conjuntor
Proposicin

B. DISYUNCIN.- son aquellas proposiciones simples

unidas por el trmino de enlace O. Son de dos
clases:
* D. Inclusivas.- (dbil). Son las que admiten que las
dos alternativas se den conjuntamente.

Sus

enlaces son: a menos que, o bien, o tambin,

salvo, a menos que A, B. Ejemplo:
TOMS DE AQUINO FUE UN FILSOFO
O FUE UN TELOGO.
* D. Exclusivas.- (fuerte). Son las que plantean dos
situaciones, si es verdadera una de ellas, la otra
es necesariamente falsa. Sus enlaces son: o A o B,
o bien A o bien B.

C. CONDICIONALES.- Son las proposiciones que expresan

una relacin de Causalidad entre las proposiciones
afectadas, por ello a la proposicin que cumple el papel
de causa se le denomina Antecedente y a la que resulta
ser el efecto se le llama Consecuente. Es de dos clases:
C. DIRECTA.- (implicativa). Cuando el antecedente es
condicin necesaria para que se pueda dar el
consecuente. La conclusin aparece despus de los
siguientes trminos: entonces, luego, por lo tanto, en
conclusin, siempre que A por consiguiente B,
inferimos, etc. Ejemplo:
Si estudio bastante entonces aprobar Lgica
*C. INDIRECTA.- (replicativa).- cuando el consecuente
aparece primero y el antecedente aparece despus de
los siguientes trminos: si, ya que, porque, puesto
que, siempre que, pues, es necesario que A para B,
etc. Ejemplo:
* Aprobar Lgica puesto que estudio bastante

D. BICONDICIONALES.- Son proposiciones simples

unidas por trminos de enlace: si y slo si, s y
solamente si, cuando y slo cuando, entonces y slo
entonces, siempre y cuando, es equivalente, por lo
cual y segn lo cual, es lo mismo que, se define
como, etc. En toda proposicin bicondicional el
antecedente es condicin necesaria y suficiente del
consecuente y el consecuente es condicin necesaria
y suficiente del antecedente.
Ejemplo:
EL TRINGULO ES EQUILTERO SI Y SLO SI
TIENE TRES LADOS IGUALES.

E. NEGACIN.- (inversor). No es un enlace lgico, pues su

funcin no es unir a dos proposiciones simples para formar a
una proposicin compuesta. Es de 2 clases:
*N.

INTERNA.- (ligada). Cuando afecta a proposiciones

simples utilizando generalmente la forma gramatical NO.
Ejemplo:

Vanessa NO estudia computacin

*N. EXTERNA.- cuando afecta a proposiciones compuestas.
Sus formas gramaticales ms usuales son: es falso que,
no es cierto que, no se da el caso que, no es posible que,
no es verdad que, etc. Ejemplo:
No se da el caso que seas profesional si no ingresaste a la
universidad
No es cierto que estudias odontologa y derecho a la vez.

Mg.
RAMIRO
IPARRAGUIRRE

GMEZ

1.

Determinar el tipo de proposicin segn

S. P
Andrs Avelino Cceres escorresponda
llamado el Brujo de los
Andes.

2. Ir a Lima ya que gane una beca en la escuela de msica.

3. El tres es par o impar.
4. Lambayeque es distrito aunque tambin es provincia.
5. Per y Ecuador son pases limtrofes.
6. Cathy y Maribel son profesoras.
7. Los cuyes son nutritivos, como tambin son domsticos.
8. El hombre se diferencia de la mujer por su sexo.
9. Jams lo he visto al vecino.
10.Es falso que el perro es carnvoro o mamfero.
11.Iras a Lima, en consecuencia sers premiado por la
Escuela Militar.
12. El nmero 2 es par o entero.
13. Charles Babage es el padre de la computacin.
14. Jos Olaya fue deshonesto con su pas.

COND
D. E
CONJ
S. R
CONJ
CONJ
S. P
NEG
NEG
COND
D. I.
S. P
NEG

Mg. RAMIRO GMEZ IPARRAGUIRRE