REGLAS DE INFERENCIA LOGICA

TALLER Y EXPOSICION

PRESENTADO POR:
MAURICIO DIAZGRANADOS
ANDRES GALLEGO
JAVIER VEGA ROJAS

PRESENTADO A:
ING. ERIKA VEGA ESCOBAR

UNIVERSIDAD COOPERATIVA DE COLOMBIA

FACULTADA DE INGENIERIAS
INGENIERIA CIVIL
PRIMER SEMESTRE (I)
LOGICA MATEMATICA
VILLAVICENCIO, 2014

Silogismo hipottico
En lgica se denomina silogismo hipottico a aquel tipo de silogismo o ms
bien regla de inferencia que en su expresin plantea un caso hipottico, por lo
cual puede tener trminos vlidos o no. En la lgica proposicional un silogismo
hipottico puede expresar una regla de inferencia, mientras que en la historia
de la lgica los silogismos hipotticos han sido una antelacin de la teora
de las consecuencias.
En lgica proposicional
El silogismo hipottico es un argumento vlido si sigue la siguiente forma
argumental:
P Q.
Q R.
Entonces (ergo), P R.

Con operadores lgicos, esto se expresa:

Donde

representa la asercin lgica.

En otro trminos, en este tipo de argumentos si A implica a B, y B implica a C,

transitivamente el primero (A) implica al tercero (C). Un ejemplo de silogismo
categrico es el siguiente:
Si no me despierto, no puedo ir a la fiesta.
Si no voy a la fiesta, no me divertir.
Entonces, si no me despierto no me divertir.
Ntese que el carcter condicional facilita, aunque no necesariamente, una
posible falacia. En el caso dado se est implicando [] casi absolutamente una
posible fiesta con una posible diversin.

Los silogismos categricos poseen la ventaja de poder ser contrafcticos; estos

pueden tener conclusiones ciertas incluso si poseen premisas que se
conocen falsas.
Ejemplos de premisas contrafcticas que pueden ser vlidamente utilizadas en
un silogismo categrico:
Si Jos de San Martn hubiera usado barba hubiera tenido un aspecto elegante.
Si Petrus Christus hubiera pintado como un impresionista hubiera sido un buen
pintor.

SILOGISMOS HIPOTTICOS.
El silogismo hipottico se caracteriza por estar formado por juicios hipotticos.
La estructura formal del silogismo hipottico es la siguiente:
Si A es, B es
Si B es, C es
Luego, si A es, C es.
SILOGISMO HIPOTTICO DISYUNTIVO.
Si la premisa mayor es a la vez hipottica y disyuntiva, tenemos el silogismo
hipottico disyuntivo.
Este silogismo tiene dos modos: modus ponens (afirmativo) y modus tollens
(negativo).
La estructura formal del modus ponens es la siguiente:
Si A es, B es o C es
Es as que A es
Luego, A no es
Este ltimo razonamiento se llama tambin razonamiento lemtico (lemma =
supuesto), de donde se llama tambin dilema cuando tiene dos miembros
disyuntivos; tambin puede ser trilema o, en general, polilema.
Dice Essen que este tipo de razonamiento sirve para rebatir una afirmacin
mostrando lo que se afirma implcitamente y necesariamente y negando luego
ambos miembros de la disyuncin, por lo cual la afirmacin queda negada.

EJERCICIOS
1.
P Q P
P
P
Q T P
P T
HS (1,4)
Q
PP (1,3)
T
PP (2,4)
Q & T A (5,6)

1)
2)
3)
4)
5)
6)
7)

2.
1)
2)
3)
4)
5)
6)
7)

AB
BC
B&Q
AC
B
S(3)
Q

P
P
P
HS(1,2)
S(3)
A(5,6)

Q&B

3.
1)
2)
3
4)
5)
6)
7)

ES
T J
S T
S
E T
T
J

P
P
P
P
HS 1,3
PP 3,4
PP 2,6

8)
9)

T
T&S

DN 6
A 4,8

4.
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)

(P R) R
R (S & T)
(P Q) U
S R
R
(P Q) (S & T)
HS (1,2)
S&T
PP 2,5
S
S7
T
S7
R
PP 4,8
(P R)
TT 1 ,10

5.
1)
2)
3)
4)
5)
6)
7)
8)
9)

PQ
QR
P & T
PR
P
Q
T
Q
T&Q

P
P

DS
SH
D&T
DH
D
S
D&S

P
P

P
HS (1,2)
S(3)
PP(1,5)
S(3)
TT(2,7)
A(7,8)

6.
1)
2)
3)
4)
5)
6)
7)

P
HS (1,2)
S(3)
PP (1,5)
A(5,6)

7.
1)
2)
3)
4)
5)
6)

AB
P
B
P
BT
P
AT
HS 1,3
A
TT 1,2
A R
LA 5

8.
1)
2)
3)
3)
4)
5)
6)
7)
4)
8)

AE
TJ
JQ
A&J
A
J
T
TQ
E
T&A

P
P
P
P
S3
S3
TT2,5
HS 2,3
PP 1,4
A 5,7

9.
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)

(P Q ) (R S)
Q U
R T
U T
(P Q)
S (1)
Q
S (2)
P
TT (5,6)
U
S (3)
T
PP (4,8)
R
DS (3,9)

10.
1)
P v Q
2)
R Q
3)
R S
4)
PT
5)
R
6)
Q
7)
P
8)
T
9)
PT

S (3)
PP (2,5)
DS (1,6)
PP(4,7)
A (7,8)

11.
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)

( P Q ) R
R S
S T
TU
U
T
TT (4,5)
S
TT (3,6)
R
DS (2,7)
P Q
DS (1,8)
P
S (9)
P U
C (10,5)

12.
1)
2)
3)
4)
5)
6)
7)

P Q
Q R
R
S T
T U
UZ
P R

HS (1,2)

8)
9)
10)
11)

(P)
P
S U
U

TT (7,3)
DN (8)
HS(4,5)
S (6)

13.
1)
2)
3)
4)
5)
6)
7)
8)

AE
TJ
A&J
A
E
T
T
T&A

P1
P2
P3
S(3)
PP (1,3)
S(3)
TT (2,6)
A (5,7)

14.
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)

15.

P
P Q
RVS
S Q
T (R P)
Q
S
R
RP
(T)
T

PP (1,2)
TT (4,6)
TP (3,7)
AD (1,8)
TT (5,9)
DN (10)

Demostrar (Y=0 V X<0) (X<Y X=O)

1) X<YX=0
2) Y=0XY
3) X<Y X=3
4) X<YX<Z
5) X<Y
S (3)
6) Z=3
S (3)
7) X=0
PP (1,5)
8) Y0
TT (2,5)
9) Y=0 X<Z
LA(8)
10)
(Y=0 V X<0) (X<Y X=O)

16.
Demostrar Z>6 Z<Y
1)
2)
3)
4)
5)
6)

X>Y X>Z
(Z>6) (X>YZ<7)
X>Z Z<7
X>Y Z<7
HS (1,3)
(Z>6)
TT (2,4)
Z>6 Z<Y
LA (5)

17.
Demostrar X>Y
1)
2)
3)
4)
5)
6)
7)
8)

XY X>Y X<4
X>Y X<4 X4
X<4(XYX4)
XY
XYX4
X 4
X>Y X<4
X>Y

18. Demostrar X=6 X>6

HS (1,2)
TT (3,5)
PP (1,4)
TP (6,7)

A (1,9)

1)
2)
3)
4)
5)
6)
7)
8)

XYY<X
(X>5Y<X) Y=5
Y5 X=6
X>5X4
X>5Y<X
Y=5
X=6
X=6 X>6

HS (1,4)
PP (2,5)
TP (3,6)
LA (7)

19.
DEMOSTRAR (Y=0 X<Z) & (X<Y X=0)
1) X<Z X=0
2) Y=0 X Y
3) X<Y & Z=3
4) X<Y X<Z
5) X<Y
S3
6) Z=3
S3
7) X=0
PP1,5
8) Y0
TT2,5
9) Y=0 X<Z
LA8
10)
(Y=0 X<Z) & (X<Y X=0) A1,9
20.
DEMOSTRAR Z5 Z>5
1) X=3 X > Y
2) X3 Z=5
3) (X=3 X<Z) X Z
4) X > Y X<Z
5) X=3 X<Z
HS 1,4
6) X Z
PP3,5
7) X Y
TT4,6
8) X3
TT1,7
9) Z=5
PP2,8
10)
Z5
DN9
11)
Z5 Z>5
LA10
21.
DEMOSTRAR: X3 V 4>X
1) 5X=20 X=4
2) 2X=6 V X3
3) 2X=6 (5X -3 = 17 X=4)
4) 5X -3 = 17 5X=20
5) 5X -3 = 17 X=4
6) 2X6

HS 1,4
TT 3,5

7) X3
8) X3 V 4>X
22.
DEMOSTRAR: X+1 Y V
1) (Y=5 X<Y) & X
2) Y>5 V Y=5
3) X<Y V Y>4 X+1
4) Y>5 Y>4
5) Y=5 X<Y
6) X 1
7) X<Y V Y>4
8) X+1 Y & Y<9
9) X+1 Y
10)
Y<9
11)
X+1 Y V X

TP2,6
LA7

X
1

Y & Y<9

23.
DEMOSTRAR: X=4
1) X=5 V X<Y
2) X>3 V Z<2 Z<X V Y=1
3) X<Y Z<2
4) X=5 X>3
5) Z<X X=4
6) Y=1 ( X>3 V Z<2)
7) X>3 V Z<2
8) Z<X V Y=1
9) X=4 V ( X>3 V Z<2)
10)
X=4
24.
DEMOSTRAR: Y=Z V X5
1) X=Y X<Z
2) X=5 X Z
3) X=3 X<Z
4) X Z X=Y
5) X=3 V X Y
6) X<Z V X=Y
DS 3,4,5
7) X Y X<Z HS 1,4
8) X<Z
DP 3,5,7
9) X5
TT2,8
10) Y=Z V X5
LA9
25.

S1
S2
DS 2,4,5
PP 3,7
S8
S8
LA 9,10

DS 1,3,4
PP 2,7
DS5,6,8
TP7,9

DEMOSTRAR: Y=1 V Y=9

1) (X=2 V X=8) X=6
2) 2X+3Y=21 & X6
3) X=2Y=9
4) X=8 Y=1
5) 2X+3Y=21
S1
6) X6
S2
7) X=2 V X=8
TT6,1
8) Y=1 V Y=9
DS 7,3,4
26.
DEMOSTRAR (Y=0 X<Z) & (X<Y X=0)
1) X<Z X=0
2) Y=0 X Y
3) X<Y & Z=3
4) X<Y X<Z
5) X<Y
S3
6) Z=3
S3
7) X=0
PP1,5
8) Y0
TT2,5
9) Y=0 X<Z
LA8
10) (Y=0 X<Z) & (X<Y X=0) A1,9
27.
DEMOSTRAR Z5 Z>5
1) X=3 X > Y
P
2) X3 Z=5
P
3) (X=3 X<Z) X Z P
4) X > Y X<Z
P
5) X=3 X<Z
HS 1,4
6) X Z
PP3,5
7) X Y
TT4,6
8) X3
TT1,7
9) Z=5
PP2,8
10) Z5
DN9
11) Z5 Z>5
LA10
28.
DEMOSTRAR ( T & Q)
1)
2)
3)
4)

PQ
QR
P & T
PR

P
P
P
HS (1,2)

5)
6)
7)
8)
9)

P
Q
T
Q
T&Q

S(3)
PP(1,5)
S(3)
TT(2,7)
A(7,8)

29.
Demostrar (Y=0 V X<0) (X<Y X=O)
1) X<YX=0
2) Y=0XY
3) X<Y X=3
4) X<YX<Z
5) X<Y
S (3)
6) Z=3
S (3)
7) X=0
PP (1,5)
8) Y0
TT (2,5)
9) Y=0 X<Z
LA(8)
10)
(Y=0 V X<0) (X<Y X=O)
30)
Demostrar Z>6 Z<Y
7) X>Y X>Z
8) (Z>6) (X>YZ<7)
9) X>Z Z<7
10)
X>Y Z<7
11)
(Z>6)
12)
Z>6 Z<Y

HS (1,3)
TT (2,4)
LA (5)

A (1,9)