Introducción Al Cálculo Diferencial (PG 196 205)

APENDICE 1 LOGICA ELEMENTAl 183
A.3. ARGUMENTOS
EI objetivo fundamental de un razonamiento deductivo (0 argumento) consiste en poder
decidir cuando las conclusiones dadas son correctas 0 en su caso obtener conclusiones
correctas a partir de un conjunto de proposiciones iniciales denominadas premisas y que se
suponen verdaderas, el argumento mediante el cual se obtienen las conclusiones vAlidas se
llama prueba 0 demostraci6n . EI razonamiento suele tomar la forma de proposici6n
condicional .. Si..... entonces..... .., es necesario que la proposici6n condicional sea siempre
verdadera (independientemente de la hip6tesis y la conclusi6n ) para que el argumento sea
vAlido, es decir, un argumento es vAlida, si y s610 si la proposici6n condicional es una
tautologfa ( implicaci6n 16gica ) .
A .3.1. Principio de sustituci6n

Si r <=> p, y se sustituye r por p en la proposici6n f ( p, q, ...) obtenemos: f ( r, q, ... ) entonces
f ( p, q, ... ) • f ( r, q, ... ) .
Esto signilica que es posible sustituir cualquier numero de proposiciones ( que tambi~n
denominaremos variables) componentes y que dada cualquier tautologfa, al sustituir
algunos de sus componentes por otras equivalentes a elias respectivamente, nuevamente
obtenemos una tautologfa.
Ejemploe
Determinar si los siguientes argumentos son 0 no son vAlidos .
"1 .- Si es de bronce entonces no es elemento puro .

Copyright © 2010. Instituto Politécnico Nacional. All rights reserved.
es elemento puro
no es de bronce .
2.- Si camina entonces no estA descompuesto .

Si no estil descompuesto entonces me 10 lIevo .
Me 10 llevo y camina .
No estA descompuesto
3.- Si ladra entonces no es tigre

Si no ruge entonces ladra .
ladra .
no ruge
Soluci6n
Es conveniente representar las proposiciones involucradas de la siguiente forma
Garcia, Gomez y Larios. Introducción al cálculo diferencial, Instituto Politécnico Nacional, 2010. ProQuest
Ebook Central, http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3187869.
Created from unadsp on 2018-05-13 06:07:27.
APENOICE LOGICA ELEMENTAL 184
1.- Sean: A = es de bronce, 6 = no es plata

Entonces la forma reducida es :
A=>6
-6
-A
Por 10 tanto tenemos la proposici6n (A => 6 ) 1\ -B => -A, puesto que corresponde a una
proposici6n condiciona l, resta verificar si es 0 no una tautologia, para esto existen por 10
menos dos metod os .
Metodo 1 ( Utilizando una tabla de verda d ), la tabla de verdad asociada es :

I 3 2 4 2
A 6 (A=>6) 1\ -6=>-A
V V V F F V F
V F F FV V F
F V V F F VV
F F V VVV V
t
soludon
( A => B ) 1\ - 6 => - A " T, en consecuencia el argumento es valida .
Metodo 2 ( Uhlizando las propiedades de las operaciones 16gicas ) .

( A => 6) 1\ -B => -A = ( ( - A v 6) 1\ - 6 ) =>-A
'" - [ ( - A 1\ - 6 ) v (6 1\ -B ) 1=> A
"'- [ (- (A v B) v ~ 1=> A
- [ - A 1\ -B 1=> A
- [ - A 1\ -B 1 v - A
(A v B) v -A
(A v -A) v B
", T v B
"T.
2.- Si carnina entonces no est .. descompuesto .

Si no esta descompuesto entonces me 10 llevo .
Me 10 lIevo y camina .
No esta descompuesto
Soludon
Sean : P = camina, Q = no esta descompuesto, R = me 10 lIevo,
en tonces la forma reducida es
P => Q
Q=>R
R AP
APENDICE 1 LOGICA ELEMENTAL 185
La tabla de verdad asociada es :
I 2 I 4 l 5
PQR [( P =>Q) /\ (Q => R)] /\ (R /\ P) =>Q
VVV v v v v v V
YVF V F F F F Y
VFV F F Y F V V
VFF F F Y F F V
FYV Y Y V F F V
FVF V F F F F V
FFV Y V V F F Y
FFF V V V F F Y
t
solucion
es dedr [ ( P => Q) /\ ( Q => R ) ] /\ ( R /\ P ) => Q " T, por 10 q1.je el argumento es valido (el
mismo resultado se obtiene si se utilizan las propiedades del algebra de proposiciones ) .
3.- Si ladra entonces no es tigre

Si no ruge entonces ladra .
ladra .
no ruge
Sean : A = ladra, B = no es tigre y 0 = no ruge, la representacion es :

A => B
O =:. A
~
o
la tabla d everd a d correspon d iente es
I 2 I l 4
ABO j(A =:. B) /\ (O =:. A)] /\ A =:. O

VVV V V V V V
VVF V V V V F
VFV F F V F V
VFF F F V F V
FVV V F F F Y
FVF V V V F V
FFV V F F F V
F FF V V V F V
Esta tabla no corresponde a una tautologia, por 10 tanto el argumento no es valido.
APENDICE I LOGICA ELEMENTAL 186
1 . 3 . 2. Reglas de Inferencia
Es conveniente notar que la forma 0 estructura 16gica de una gran cantidad de argumentos
es la misma, esto es importante ya que el contenido de las proposiciones puede no tomarse
en cuenta . Si la estructura 16gica correspondiente es una implicaci6n 16gica, entonces se dice
que tenemos una regia de inferencia .
A continuaci6n establecemos las reglas de inferencia mas comunes .
1.- Regia de aeparaci6n ( 6 modus ponendo ponens, que significa modo de afirmar
afirmando ) .
P~Q
P
Q
La representamos por MPP.
2.- Regia de la cadena df' inff'rf'ncias ( 0 silogismo hipolt~tico ).

P~Q
~
P~R
en 10 sucesivo se representara por SH .
3.- Regia conjuntiva .

se representa por RC .
4.- Regia de aimplificaci6n diayuntiva ( 6 modus tollendo ponens ) .
PvQ PvQ
-P , simultAneamente -Q
Q p
se representa por MTP .
5.- Regia contrapoaitiva ( modus tollendo tollens ) .

P~Q
-Q
-P
esto significa modo de negar negando y se representa por MTf .
6.- RegIa de simplificaci6n conjuntiva .
equivalentemente
P Q
la representaremos por RSC .
7.- RegIa de adici6n.

P
PvQ
la representaremos por RA .
Ejemplos
1.- Demostrar D si
1.- A~ D
2.- B~A
3.- B
Soluci6n
Una manera de hacerlo es la siguiente
1.-A~D 1.- A ~ D
2.- B~A MPP (2,3) 4.- A MPP (1,4) 5.- D
3.- B
2.- Demostrar A si:

1.- B 1\ C 1\ D 1\ E
2.- B 1\ E
3.- C 1\ D ~ - - A
4.- B ~C 1\ D
Soluci6n
1.- B 1\ C 1\ D 1\ E DN(3) 5.- C 1\ D ~ A SH(4,5) 7.- B ~ A MPP(7,6) 8.- A.
2.- B 1\ E SC(2) 6.- B 6.- B
3.- C 1\ D ~ --A 1.-B I\ C I\ D I\ E
4.- B ~C I\ D 4.- B ~C 1\ D
Observe que no siempre es necesario utilizar todas las hip6tesis .
3.- Demostrar P 1\ - R si
1.- Q I\- R
2.- s~ R
3.- -S~ P
4.- -R
APENDICE I LOGICA ELEMENTAL 188
SoIuci6n
1.- Q I\ -R SC(l) 5.- -R MPP(3,6) 7.- P RC(7,5) 8.- P 1\ -R.

2 . -S~ R M'IT(2,4) 6.- -S 5.- -R
3.- -s ~ P 3.- -s ~ P
4.--R 4.--R
4.- Oemostrar A si
1.- - 6
2.- - C ~ 6
3.- C v - 0 => A
4.- - --0
SoIuci6n
1.- -6 MTT(2,l) 5.- C
2.- -c~ 6 LDN(4) 6.- - 0 RC(5,6) 7.- C 1\ -0 MPP(3,7) 8.-A
3.- C v -0 => A 3.- C f\ -0 => A 3.- C f\ -0 ~A
4.- ---0
5.- Oemostrar E si
1.- A 1\ 0
2.- C ~-O
3.- Cv 6
4.- 6 v A ~E
SoIuci6n
1.- A 1\ D RSC(l) 7.- A MTP(3,6) 8.- 6 RC (7,8) 9.- A f\ 6 MPP(4,9) E

2.- C => -D MIT(2,S) 6.- -c 4.-6 A A =:> E 4.- 6 f\ A => E
3.- C v 6 3.- C v 6 7.- A
4.- 6 f\ A =>E 4.-6 f\ A =:>E
5.- D
6.- Oemostrar A f\ 0
Sl
1.- ( B => C ) f\ 0
2. -C~A
3.- ( B => C ) => A
4.- 0
Soluci6n
1.- ( B :> C) " D RSC(l) 5.- B => C MPP(3,5) 6.-A RC (6,4) 7.- A " D
2.- C:> A 3.- (B => C ) => A 4.- D
3.- ( B => C ) :> A 4.- D
4.- D
Note que es posible prescindir de algunas hip6tesis, en este caso 2. y 4, observe tambien que
la conclusi6n se obtiene directamente de 4.- y RC.
7.- Demostrar C " D si
1.- A v B=> C
2.- A v B
3.- - D => - ( A v B)
Soluci6n
1.-AvB:>C MPP(1,2) 4.- C

2.- A v B MTI(3,2) 5.- D RC(4,5) 6.-C" D.
3.- -D => - ( A v B)
Note que una premisa se puede utilizar varias veces .
8.- Demostrat T " M si

1.- -R => N
2.- N => T /\ M
3.- R => - 5
4.- 5
Soluci6n
1.- - R => N SH(1,2) 5.- - R => T " M MPP(5,6) 7.- T /\ M .
2.- N => T /\ M MTI(3,4) 6.- -R
3.- R => - 5
4.- S
EJERCICIOS
1.- Traduze<i cada uno de los siguientes razonamientos a la forma simb6lica y empleando
reglas de inferencia, verifique la validez de cada uno de ellos, tambien puede emplear
equivalencia 16gicas .
1.- Pablo y Sergio son de la misma edad 6 Pablo es mayor que Sergio, 51 Pablo y Sergio son
de la misma edad, entonces Laura y Pablo no son de la misma edad . Si Pablo es mayor que
Sergio, entonces Pablo es mayor que Pilar. En consecuencia, 6 Laura y Pablo no son de la
trtisma edad 0 Pablo es mayor que Pilar.
2.- Si el mercado es libre, entonces un vendedor no puede alterar los precios . Si un 5610
vendedor no puede alterar los precios, entonces hay much os vendedores, no hay muchos
vendedores, luego el mercddo e5 Iibre .
APENDICE LOGICA ELEMENTAL 190
3.- Juan opina que no es rojo. 5i no fuera verde y Juan opinaria que es rojo, enlonces no
seria rojo . Pero es roja . En consecuencia es verde .
4.- 5i el negro gana, en lances el blanco a el bayo aVdnzan . 5i e l blanco avanza, en lances el
negro no avanza . 5i e l tordillo avanza, entonces el bayo no avanza . En consecuencia si e l
negro gana, e l lordillo no dvanza .
11 .- Generalice las siguienles reglas de infe rencia .

1.- Conjuntiva.
2.- Adicion .
3.- 5ilogismo hipotetico .
111.- Verifique que cada una de las reg las d e infere nCid es una tdutologia .
a) Por media de una tabla de verdad .
b) Utihzando equ.valencias logicas .
IV.- Demuestre 10 que se pide en cdda uno d e los s .guientes rdciocinio, utihce las reglas de
inferenc ia y en casa de que Id conclusion no sed Id (Orrectd, co rrijald .
1.- Demoslrar - B. 2.- Demos trar D. J.- De moslrar C.

1.- A => B 1.- (A v B) => D 1.- A 1\ E => B 1\ D 1\ F
2.- D 2.- C => Av B 2.- B 1\ D 1\ F = C
3.- P v Q 3.- C 3.- A 1\ E
4.- (P v Q ) => A
4.- Demoslrar D. 5.- De mos trar - 5. 6.- Demostrar Ev F.

l .- R => Q 1.- P 1.- -C=:> E v F
2.- Q => A 2.- P =-> - Q 1\ R 2.- A v C =>-C
3.- (P v A ) 1\ D 3.- - Q => -5 3.- A v C
4.- A
7.- Demuestra: ~ P v~ 5 8.- De mupstra A 10.- Demuestra P v Q

1.- Q 1.- -- B => A B 1.- R => - - (P v Q )
2.- -Q =:> R 2.- B 1\ A 2.- -- R
3.- R =>-5 3.- B 3.- R
11.- Demuestra ·~ D 12.- De mueslra ~ PvT 13.- De muestra B I\ F.

1.- -A => -B I.-P =:> Q I\ -R I.-A I\ D
2.- D => B 2.- - R =:> -5 2.- A =:> B I\C
3.- -A 3.- -So=:> - -P 1\ T 3.- E
14.- Demuestra ~ Q 15.- De mu pstra A 16.- Demuestrd A

1.- -(P v Q) 1.- B 1\ C 1.- - B 1\ D
2.- Q => P 2.- -D => A 2.- - C 1\ D => A 1\ D
~.- D => - C 3.- C => B
APENDICE 1 lOGICA ElEMENTAL 191
17.- Demostrdr A 18.- Demostrdr M 19.- Demues tra ~ X

1.- -A => 6 1.- -R => N " R I.-X _ ~Y"Z
2.- - 6 I\ D 2.- N => T 1\ M 2.- Z => W
3.- D => A v C 3.- R => J" R 1.- - w 1\ y
4.- -J
20.- Demuestra D v E 21.- Demostrar C,,6 22.- Dem ostrar Nv M
1.- A => (-D => E) 1.- 6 => A v C I.-P => T I\ M

2.- 6 => E 2.- A v C => D 2.- P 1\ T
3.- A =>-E 3.- C => - (6 => D ) 3.- T 1\ tv! => N
4.- 6
23.- Demostrdr Q 1\ - P 24.- Demues trd Q v S

1.- N => 0 \.- - P v Q
2.- P =>Q 2.- P
3.- N => ( -P => R) 3.- - R v S
4.- -Q 4.- R
V.- En cada una de las siguien tes exp resiones establecer la condusion ddec uada
para que el argumento sea valldo .
a) A 1\ 6
6
c) P =>- Q
- Q -: > R
R =>S
5 => - P
APENDICE 2
Matematicas fundamentales
A.2.1 Geometria
FIGURAS PLANAS
Nomb~ P. rim.tro Afta Figura
TrWtgulo P = 8 + b +c
A = bh
2
/\
•
Cin:ulo P = 2"r A ,: 7t r2
0
Sector d. cin:ular P = 2r +rtl
A = ! rtl; s =rtl
b
RecLingulo P = 2 (a + b) A = ab
·D
Pualelogramo P = 2 (a + b) A = bh
0 ..
Trap.cio P = a + b +c+ d
A =!(a+b) h
2 n",

Introducción Al Cálculo Diferencial (PG 196 205)

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Introducción Al Cálculo Diferencial (PG 196 205)

Hochgeladen von

Copyright:

Verfügbare Formate

APENDICE 1 LOGICA ELEMENTAl 183

A .3.1. Principio de sustituci6n

"1 .- Si es de bronce entonces no es elemento puro .

2.- Si camina entonces no estA descompuesto .

3.- Si ladra entonces no es tigre

1.- Sean: A = es de bronce, 6 = no es plata

Metodo 1 ( Utilizando una tabla de verda d ), la tabla de verdad asociada es :

Metodo 2 ( Uhlizando las propiedades de las operaciones 16gicas ) .

2.- Si carnina entonces no est .. descompuesto .

La tabla de verdad asociada es :

PQR [( P =>Q) /\ (Q => R)] /\ (R /\ P) =>Q

3.- Si ladra entonces no es tigre

Sean : A = ladra, B = no es tigre y 0 = no ruge, la representacion es :

ABO j(A =:. B) /\ (O =:. A)] /\ A =:. O

Esta tabla no corresponde a una tautologia, por 10 tanto el argumento no es valido.

2.- Regia de la cadena df' inff'rf'ncias ( 0 silogismo hipolt~tico ).

3.- Regia conjuntiva .

4.- Regia de aimplificaci6n diayuntiva ( 6 modus tollendo ponens ) .

se representa por MTP .

5.- Regia contrapoaitiva ( modus tollendo tollens ) .

6.- RegIa de simplificaci6n conjuntiva .

7.- RegIa de adici6n.

2.- Demostrar A si:

Observe que no siempre es necesario utilizar todas las hip6tesis .

1.- Q I\ -R SC(l) 5.- -R MPP(3,6) 7.- P RC(7,5) 8.- P 1\ -R.

1.- A 1\ D RSC(l) 7.- A MTP(3,6) 8.- 6 RC (7,8) 9.- A f\ 6 MPP(4,9) E

7.- Demostrar C " D si

1.-AvB:>C MPP(1,2) 4.- C

Note que una premisa se puede utilizar varias veces .

8.- Demostrat T " M si

11 .- Generalice las siguienles reglas de infe rencia .

1.- Demoslrar - B. 2.- Demos trar D. J.- De moslrar C.

4.- Demoslrar D. 5.- De mos trar - 5. 6.- Demostrar Ev F.

7.- Demuestra: ~ P v~ 5 8.- De mupstra A 10.- Demuestra P v Q

11.- Demuestra ·~ D 12.- De mueslra ~ PvT 13.- De muestra B I\ F.

14.- Demuestra ~ Q 15.- De mu pstra A 16.- Demuestrd A

17.- Demostrdr A 18.- Demostrdr M 19.- Demues tra ~ X

1.- A => (-D => E) 1.- 6 => A v C I.-P => T I\ M

23.- Demostrdr Q 1\ - P 24.- Demues trd Q v S

Nomb~ P. rim.tro Afta Figura

Das könnte Ihnen auch gefallen