UNIVERSIDAD NACIONAL SAN AGUSTIN DE AREQUIPA

CURSO: Razonamiento Lógico Matemático

1. LÓGICA: Es la ciencia que estudia los métodos o procedimientos para determinar la validez o
invalidez de las proposiciones.

2. PROPOSICIÓN: Es una expresión lingüística (informativa ) libre de ambigüedades , que tiene la

propiedad de ser verdadera (V) o falsa (F) .

Enunciado Realidad Verdadero

Aseverativo Obejtiva Falso

Ejemplo:
Marcelo estudia en la UNSA.
Este enunciado afirma que una persona llamada Marcelo , estudia en la UNSA. Para saber si la
proposición es verdadera o falsa, se debe establecer la realidad en que ha sido expresada. Si nos
referimos a un muchacho llamado Marcelo , que tiene 12 años y está en segundo año de secunadria,
la proposición indicada es Falsa para este caso; pero si el tal Marcelo mencionado tiene 20 años de
edad y se encuentra en la UNSA, la proposición es Verdadera.

3. VARIABLE PROPOSICIONAL: Se acostumbra a usar las letras latinas : p ; q ; r ; s ; t ; … , llamadas

variables proposicionales.
Ejemplo:
p: Juan es ingeniero
q: Perú es un país de Sudamérica
r o s : Pedro es médico o abogado

4. . LAS PROPOSICIONES SIMPLES. Son proposiciones que no tiene conectivos entre sus miembros;
nos permite hacer una solo afirmación o negación,

Ejm. El hombre es mortal.

a. Predicativas Son las proposiciones simples que afirman o niegan una cualidad, propiedad o
característica de un sujeto u objeto,

Ejm. El profesor es puntual.

b. Relacionales.- Son los que indican una relación entre dos o más sujetos u objetos,

Ejm. Pedro es mayor que Juan.

2. PROPOSICIONES COMPUESTAS O COLIGATIVAS.

Son proposiciones que resultan de la unión de dos o más proposiciones simples, unión que es gracias
a que se posee conectivo que pueden ser. “ i”, “ o” y “ si... entonces” etc…
CONECTIVOS LOGICOS

1. NEGACIÓN:
*Símbolos
Scholz ¬p
Peano-Russell p
Hilbert -A
Lukasiewicz Np

*Palabras usuales:

…no…, Nunca…, Jamás…, Es falso que…, No es posible que…, Es mentira que…, No es cierto que…, De
ninguna forma…, Es absurdo que…, etc.
*Tabla de verdad:
p p
V F
F V

2. CONJUNCIÓN:
*Símbolos:
Scholz pq
Peano- Russell P. q
Hilbert AB
Lukasiewicz Kpq

*Palabras usuales:
...y…, …además…, …también…, ...sin embargo…, …no obstante…, …tal como…, …al igual que…, …así
como…, …incluso..., …pero…, …aunque…, …a la vez…, etc.

*Tabla de verdad:

p q pq
V V V
V F F
F V F
F F F

3. DISYUNCIÓN INCLUSIVA ( DEBIL):

*Símbolos:

Scholz pq
Peano- Russell pq
Hilbert AB
Lukasiewicz Apq

*Palabras usuales:
…o…,…salvo que…, a menos que…,…excepto que…, etc.

*Tabla de verdad:

p q pq
V V V
V F V
F V V
F F F

4. DISYUNCION EXCLUSIVA (FUERTE):

*Símbolos:

Scholz p q
Peano- Russell p q
Hilbert A B
Lukasiewicz Jpq

*Palabras usuales:
O...…. o…..., O bien… o bien…., O es que….. o es que...…, etc.

*Tabla de verdad:

p Q pq
V V F
V F V
F V V
F F F

5. CONDICIONAL O IMPLICACIÓN MATERIAL :

*Símbolos:
Scholz p  q
Peano- Russell p  q
Hilbert A  B
Lukasiewicz Cpq

*Palabras usuales:

Si.…entonces....., ..…por lo tanto.…, ….por consiguiente…., .…luego…, ....en consecuencia…., ....por

ello.…, ….implica que…., …de modo que …, …es obvio que…, etc.

*Tabla de verdad:

p q pq
V V V
V F F
F V V
F F V
6. REPLICA MATERIAL:
*Símbolo:
Scholz pq

*Palabras usuales:
….si… siempre que …, …si es que…, debido a que…, …dado que…, …puesto que…, …ya que…,
…porque…, etc.

*Tabla de verdad:
P q pq
V V V
V F V
F V F
F F V

7. BICONDICIONAL O DOBLE IMPLICACIÓN:

*Símbolos:
Scholz p  q
Peano- Russell p  q
Hilbert A  B
Lukasiewicz Epq

*Palabras usuales:

...si y solo si…, siempre y cuando…, …es idéntico a…, …equivale a que…, …es…, .....entonces y solo
entonces…,…siempre que y sólo cuando…,…es una condición necesaria y suficiente…., etc.

*Tabla de verdad:

p q pq
V V V
V F F
F V F
F F V

8. NEGACIÓN CONJUNTA:

*Símbolo:
Scheffer p  q
*Palabras usuales: No…y no…, Ni… ni…

*Tabla de verdad:

p q pq
V V F
V F F
 F V F
F F V
*Equivalencia: p  q   p   q
9. NEGACIÓN ALTERNA:

*Símbolo:
Scheffer pq

*Palabras usuales: No… o no…

*Tabla de verdad:
P q pq
V V F
V F V
F V V
F F V

*Equivalencia: p  q   p   q

LEYES DEL ÁLGEBRA PROPOSICIONAL

1. Leyes de la conjunción:
1.1 p  p  p (Idempotencia)
1.2 p  q  q  p (Conmutativa)
1.3 (p  q)  r  p  (q  r) (Asociativa)
1.4 p  p  F (No contradicción)
1.5 p  V  p
1.6 p  F  F

2. Leyes de la disyunción:
2.1 p  p  p (Idempotencia)
2.2 p  q  q  p (Conmutativa)
2.3 (p  q)  r  p  (q  r) (Asociativa)
2.4 p  p  V (Tercero Excluido)
2.5 p  V  V
2.6 p  F  p

3. Leyes distributivas:
3.1 p  (q  r)  (p  q)  (p  r)
3.2 p  (q  r)  (p  q)  (p  r)

4. Ley de la condicional:
4. p  q  p  q

5. Leyes de bicondicional:
5.1 p  q  (p  q)  (q  p)
5.2 p  q  (p  q)  (p  q)
6. Leyes de disy. Exclusiva:
6.1 p  q   (p  q)
6.2 p  q  (p  q)  (p  q)

7. Ley de doble negación:

(p)p

8. Leyes de morgan:
8.1  (p  q)  p  q
8.2  (p  q)  p  q

9. Leyes de absorción:
9.1 p  ( p  q )  p
9.2 p  ( p  q )  p
9.3 p  ( p  q )  p  q
9.4 p  ( p  q )  p  q