3.

PRINCIPIO DEL TERCIO EXCLUIDO:

Fue enunciado por Aristóteles: “Una
proposición es verdadera o falsa, no cabe
tercera posibilidad”.

DEFINICION DE LÓGICA p p  ~p
La lógica es la teoría de la deducción; la deducción
consiste en pasar de la verdad de las premisas a la V V V F
verdad de la conclusión. F F V V

LOGICA PROPOSICIONAL
1. LAS PROPOSICIONES SIMPLES. Son CONECTIVOS LOGICOS
proposiciones que no tiene conectivos entre sus
miembros; nos permite hacer una solo afirmación o 1. NEGACIÓN:
negación,
*Símbolos
Ejm. El hombre es mortal.
Scholz ¬p
a. Predicativas Son las proposiciones simples que
afirman o niegan una cualidad, propiedad o Peano-Russell p
característica de un sujeto u objeto,
Ejm. El profesor es puntual. Hilbert -A

b. Relacionales. - Son los que indican una relación Lukasiewicz Np

entre dos o más sujetos u objetos,
Ejm. Pedro es mayor que Juan. *Palabras usuales:
2. PROPOSICIONES COMPUESTAS
O COLIGATIVAS. …no…, Nunca…, Jamás…, Es falso que…, No es
Son proposiciones que resultan de la unión de dos o posible que…, Es mentira que…, No es cierto que…,
más proposiciones simples, unión que es gracias a De ninguna forma…, Es absurdo que…, etc.
que se posee conectivo que pueden ser. “ i”, “ o” y “
*Tabla de verdad:
si... entonces” etc…
PRINCIPIOS LOGICOS p p

1. PRINCIPIO DE IDENTIDAD: V F
Fue enunciada por Parménides.
F V
“Si toda proposición es verdadera
entonces es verdadera”.
Se formaliza: 2. CONJUNCIÓN:
p p p *Símbolos:
V V Scholz pq
F V Peano- Russell P. q
2. PRINCIPIO DE LA NO CONTRADICCIÒN: Hilbert A B
Fue enunciada por Platón: “Dos
proposiciones contradictorias no pueden Lukasiewicz Kpq
ser ambas verdaderas”.
*Palabras usuales:
Se formaliza:
...y…, …además…, …también…, ...sin embargo…,
p ~ ( p  ~p ) …no obstante…, …tal como…, …al igual que…,
…así como…, …incluso..., …pero…, …aunque…,
V V F
…a la vez…, etc.
F V F
 p q pq 5. IMPLICACIÓN MATERIAL O CONDICIONAL:

V V V Scholz p q

V F F Peano- Russell p q

F V F Hilbert A B
F F F Lukasiewicz Cpq

3. DISYUNCIÓN INCLUSIVA: *Palabras usuales:

Scholz pq Si.…entonces....., ..…por lo tanto.…, ….por
consiguiente…., .…luego…, ....en consecuencia….,
Peano- Russell pq ....por ello.…, ….implica que…., …de modo que …,
…es obvio que…, etc.
Hilbert AB
p q p q
Lukasiewicz Apq
V V V
*Palabras usuales: V F F
…o…,…salvo que…, a menos que…,…excepto
que…, etc. F V V

*Tabla de verdad: F F V

p q pq

V V V 6. REPLICA MATERIAL:

V F V Scholz p q

F V V *Palabras usuales:
F F F ….si… siempre que …, …si es que…, debido a
que…, …dado que…, …puesto que…, …ya que…,
4. DISYUNCION EXCLUSIVA: …porque…, etc.

Scholz p q p q p q
Peano- Russell p q V V V

Hilbert A B V F V

Lukasiewicz Jpq F V F
F F V
*Palabras usuales:
O...…. o…..., O bien… o bien…., O es que…..
o es que...…, etc.
*Tabla de verdad: 7. BICONDICIONAL O DOBLE IMPLICACIÓN:
*Símbolos:
p q p q

V V F Scholz pq

V F V Peano- Russell p q

F V V Hilbert AB
F F F Lukasiewicz Epq
 6.1 p  q   (p  q)
*Palabras usuales: 6.2 p  q  (p  q)  (p  q)
...si y solo si…, siempre y cuando…, …es idéntico a…, 7. Ley de doble negación:
…equivale a que…, …es…, .....entonces y solo
(p)p
entonces…,…siempre que y sólo cuando…,…es una
condición necesaria y suficiente…., etc. 8. Leyes de morgan:
*Tabla de verdad: 8.1  (p  q)  p  q

p q pq 8.2  (p  q)  p  q
9. Leyes de absorción:
V V V
9.1 p  ( p  q )  p
V F F
9.2 p  ( p  q )  p
F V F
9.3 p  ( p  q )  p  q
F F V
9.4 p  ( p  q )  p  q
CIRCUITOS LOGICOS
LEYES DEL ÁLGEBRA PROPOSICIONAL
CIRCUITO EN SERIE: P  Q
1. Leyes de la conjunción:

1.1 p  p  p (Idempotencia) P Q

1.2 p  q  q  p (Conmutativa) CIRCUITO EN PARALELO: P  Q

1.3 (p  q)  r  p  (q  r) (Asociativa)
P
1.4 p  p  F (No contradicción)
1.5 p  V  p
1.6 p  F  F
Q
2. Leyes de la disyunción:
PRACTICA
2.1 p  p  p (Idempotencia)
1. Los principios de la lógica:
2.2 p  q  q  p (Conmutativa) A. Identidad
2.3 (p  q)  r  p  (q  r) (Asociativa) B. No contradicción
C. Tercio excluido
2.4 p  p  V (Tercero Excluido) D. Transitividad
E. A, B y C
2.5 p  V  V 2. propone el principio de identidad:
2.6 p  F  p A. Sócrates B. Parménides
C. Platón D. Heráclito
3. Leyes distributivas: E. Aristóteles
3. propone el principio de la no contradicción:
3.1 p  (q  r)  (p  q)  (p  r) A. Sócrates B. Parménides
3.2 p  (q  r)  (p  q)  (p  r) C. Platón D. Heráclito
E. Aristóteles
4. Ley de la condicional: 4. propone el principio del tercio excluido:
A. Sócrates B. Parménides
p  q  p  q C. Platón D. Heráclito
5. Leyes de bicondicional: E. Aristóteles
5. creador de la lógica paraconsistente:
5.1 p  q  (p  q)  (q  p) A. Hilbert B. Engels
C. Lee D. Newton da Costa
5.2 p  q  (p  q)  (p  q) E. Juan PabloII
6. Leyes de disy. Exclusiva:
6. Que tipo de proposición es 12. Si: (p  q)  (r  t) es falsa, indicar las
“Si das el examen, no verdaderas
perderás la beca” A. p y r B. p y q C. r y t
A. Conjunción B. Disyunción
D. q y t E. p , r y t
C. Condicional D. Binegación
13. Si: (  p  q)  r es falsa, indicar las falsas
E. Bicondicional A. p y q B. p y r C. q y r
7. Que tipo de proposición es D. r E. p , q y r
“0  0”
14. Si: p  q es verdadero,
A. Conjunción B. Disyunción los valores de verdad de:
C. Condicional D. Binegación E. Bicondicional ( ) p  q

8. p:0  0 ; q: 5  
( ) (p  q)
el valor de verdad de: ( )pq
( ) p q ( )p q A. FFF B. VFF C. FFV
( )  p q ( ) p  q D. VVV E. VFV
A. VFFV B. VVVF C. FVVF 15. El resultado de la tabla de verdad de la
siguiente proposición: p  (p  q)
D. VVVV E. FFFV
A. VFFF B. VFFV C. VVFF
9. p: 2 es un numero real D. VVVF E. FFVV
q: Toda proposición es V
16. Si: (  p   q)  (r  s) es falsa, las
el valor de verdad de: proposiciones verdaderas son:
A. p; q B. p; s C. q; r
( ) (p   q)  p
D. q; s E. r; s
( )  p q
17. Si: (  p  q)   r es falsa, entonces los
( )  p  q valores de verdad de p,q,r son:
A. VVF B. FFV C. FFF A. VVF B. FFF C. FFV

D. VFV E. VVV D. FVF E. VFV

D. VVVV D. FFFF 18. Si: (p   q)  (r  t) es falsa, entonces

los valores de verdad de p,q,r,t son:
10. Los valores de verdad de A. VVFF B. FFFV C. FFVV
p, q, r, s son V, F, F, V, respectivamente.
Hallar los valores de verdad D. FVFV E. VFVF

( ) ((p  q)  r)  s
( ) r  (s  q) 19. Si: p  (q  r) es falsa, entonces los
valores de verdad de p,q,r son:
( ) (p  r)   (r   s) A. VVF B. FVF C. VFV
A. VFF B. FVV C. VFV D. FFV E. FFF
D. VVV E. FFF
11. Si: (p  q)  r es falsa, entonces los valores 20. Si: q  (p  t) es verdadera, además q  F
de verdad de r, p, q son: entonces los valores de verdad de p,q,t :
A. VVF B. FVF C. VFV A. VVV B. FVF C. VFF
D. FFV E. FFF D. FFV E. FFF