Docsity
Docsity

Prepare-se para as provas
Prepare-se para as provas

Estude fácil! Tem muito documento disponível na Docsity


Ganhe pontos para baixar
Ganhe pontos para baixar

Ganhe pontos ajudando outros esrudantes ou compre um plano Premium


Guias e Dicas
Guias e Dicas

Introdução à Lógica Matemática: Demonstrações e Indução, Resumos de Educação Psicomotora

(Mack) A osteoporose é uma doença que acomete principalmente as mulheres após os 50 anos de idade. Caracteriza-se pela perda de tecido ósseo, o que pode levar a fraturas. Nesse contexto, considere as afirmações abaixo.

Tipologia: Resumos

2024

Compartilhado em 02/12/2023

lourenco-ruben
lourenco-ruben 🇲🇿

3 documentos

1 / 80

Toggle sidebar

Esta página não é visível na pré-visualização

Não perca as partes importantes!

bg1
[
[
"
"?
?@
@A
A?
?B
B>
>:
:C
C:
:D
D9
9?
?E
E9
9:
:F
FG
G?
?;
;?
?H
H:
:7
7C
C8
89
9G
G=
=>
>:
:
$1 .)8\A@?8+1 /488C54Q)8@1 J)5C+E)C1 ]FGG^_ 3)8) + @E1CE+ O4E*)A@E?)Q ]./J0
<I_ @EO)?CP)A ) CA3+8?\E5C) *) *@A+E1?8)=>+ @A A)?@AB?C5)I38+548)E*+ *)8
+8C@E?)=M@1 3)8) + @1?4*+ *@ ?@+8@A)1 3@Q+1 )Q4E+1' 5+A 3+1?@8C+8 !"#$%&'()*+$
O+8A)Q,38CLCQ@,C)E*+ )1 5+EX@5?48)1 @ )1 8@Q)=M@1 K4@ )1 LCE54Q)A 5+A + *C15481+
?@Y8C5+' 7@A 5+A+' E+ K4@ *CP 8@13@C?+ )+1 1C1?@A)1 *@ 8@38@1@E?)=>+ 3Q)E) *)1 OC,48)1
@13)5C)C1 @ )1 38CE5C3)C1 O4E=M@1 *+ *@1@EW+6 ! *@A+E1?8)=>+ @A A)?@AB?C5) R 4A) *)1
5+A3@?HE5C)1 CE*C5)*)1 E+1 ./J 3)8) + @E1CE+ O4E*)A@E?)Q @ 3)8) + @E1CE+ AR*C+
5+A+ 3)8?@ CE?@,8)E?@ *+ 5488N54Q+ *) @15+Q) 7B1C5)' A)1 K4@ )CE*) E>+ 3+114C' E+
`8)1CQ' 4A EVA@8+ *@ 3@1K4C1)1 14OC5C@E?@ 3)8) ) 5+A38@@E1>+ *@ 1@41 A@5)EC1A+1
4?CQCP)*+1 E) O+8A)=>+ *+1 5+E5@C?+1 A)?@AB?C5+16
.@1K4C1)*+8@1 5+A+ `+@8+ ]FGGa_' *C154?@A + 38+5@11+ A@E?)Q 147X)5@E?@ Z
38+*4=>+ *@ )OC8A)=M@1 @ 38+L)1 3+8 )Q4E+1 *@ ^b 1R8C@6 J) 3@1K4C1) *@1?@ )4?+8' +
38+7Q@A) 5+E1C1?@ @A L@8COC5)8 K4@ ) A)C+8C) *+1 )Q4E+1 E@1?@ ENL@Q *@ @15+Q)8C*)*@
3+*@ 38+*4PC8 ?@+8@A)1 ]5+EX@5?48)1 @ 38+L)1_ 1@ @Q@1 O+8@A 5+Q+5)*+1 1+7 5+E*C=M@1 *@
CA3Q@A@E?)8 4A 38+5@11+ 5+A )1 1@,4CE?@1 5)8)5?@8N1?C5)1;
!*48)E?@ ) 38+*4=>+ *) 5+EX@5?48)' + @1?4*)E?@ 38+,8@11CL)A@E?@ ?8)7)QW) 14)
WC3Y?@1@ 3+8 A@C+ *@ 4A) )?CLC*)*@ )8,4A@E?)?CL) CE?@E1) AC1?48)*)
O4E5C+E)QA@E?@ 5+A ) X41?COC5)=>+ *) 3Q)41C7CQC*)*@ *@ 14)1 @15+QW)1c
!*48)E?@ + @1?B,C+ 1@,4CE?@ *) 38+L)' + @1?4*)E?@ +8,)ECP)' 3+8 A@C+ *@ 8@Q)=M@1
5+E1?84N*)1 *@ A)E@C8) 5+@8@E?@' )Q,4A)1 X41?COC5)?CL)1 ]d)8,4A@E?+1e_
38+*4PC*)1 *48)E?@ ) 5+E1?84=>+ *) )OC8A)=>+ *@ )5+8*+ 5+A 4A) 5+88@E?@
QY,C5)6
!QRA *@ ?8)7)QW+1 K4@ 38+548)A A@QW+8 5+A38@@E*@8 + 8)5C+5NEC+ QY,C5+' E+1
*@3)8)A+1 5+A +4?8+1 K4@ 7415)A 4A) A@QW+8 5+A38@@E1>+ *+ K4@ L@A ) 1@8 4A)
38+L) A)?@AB?C5)6 %14)QA@E?@' 5+E1C*@8)A+1 ) !"#$%&'()*+$ 5+A+ 4A 38+5@*CA@E?+
*@ L)QC*)=>+ K4@ 5)8)5?@8CP) ) A)?@AB?C5) @ ) *C1?CE,4@ *)1 5CHE5C)1 @T3@8CA@E?)C1'
)QRA *@ +543)8 4A Q4,)8 *@ *@1?)K4@ E@11) *C15C3QCE)6 !*+?)A+1 ) *C1?CE=>+ @E?8@
@T3QC5)=>+' 38+L) @ *@A+E1?8)=>+ 1@,4E*+ `)Q)5W@OO ]FG^[_6
!"-./01)*+$ 1C?4)01@ E+ ENL@Q *+ 14X@C?+ Q+54?+8 5+A ) OCE)QC*)*@ *@ 5+A4EC5)8
)+ +4?8+ + 5)8B?@8 *@ L@8*)*@ *@ 4A @E4E5C)*+ A)?@AB?C5+6 ! @T3QC5)=>+' 8@5+EW@5C*)
pf3
pf4
pf5
pf8
pf9
pfa
pfd
pfe
pff
pf12
pf13
pf14
pf15
pf16
pf17
pf18
pf19
pf1a
pf1b
pf1c
pf1d
pf1e
pf1f
pf20
pf21
pf22
pf23
pf24
pf25
pf26
pf27
pf28
pf29
pf2a
pf2b
pf2c
pf2d
pf2e
pf2f
pf30
pf31
pf32
pf33
pf34
pf35
pf36
pf37
pf38
pf39
pf3a
pf3b
pf3c
pf3d
pf3e
pf3f
pf40
pf41
pf42
pf43
pf44
pf45
pf46
pf47
pf48
pf49
pf4a
pf4b
pf4c
pf4d
pf4e
pf4f
pf50

Pré-visualização parcial do texto

Baixe Introdução à Lógica Matemática: Demonstrações e Indução e outras Resumos em PDF para Educação Psicomotora, somente na Docsity!

[

[

" "??@@AA??BB>>:: CC::DD 99 ?? EE 99 ::FFGG ?? ;;??HH:: 77 CC 8899 GG==>>::

$ 1 .) 8 \A@? 8 + 1 / 488 C 54 Q) 8 @ 1 J) 5 C+E)C 1 ]FGG^_ 3 ) 8 ) + @E 1 CE+ O 4 E*)A@E?)Q ]./J 0

<I_ @EO)?CP)A ) CA 3 + 8 ?\E 5 C) *) @A+E 1? 8 )=>+ @A A)?@AB?C 5 )I 38 + 548 )E+ *) 8

+ 8 C@E?)=M@ 1 3 ) 8 ) + @ 1? 4 *+ @ ?@+ 8 @A) 1 3 @Q+ 1 )Q 4 E+ 1 ' 5 +A 3 + 1 ?@ 8 C+ 8 !"#$%&'()+$

O+ 8 A)Q, 38 CLCQ@,C)E*+ ) 1 5 +EX@ 5? 48 ) 1 @ ) 1 8 @Q)=M@ 1 K 4 @ ) 1 LCE 54 Q)A 5 +A + *C 15481 +

?@Y 8 C 5 +' 7 @A 5 +A+' E+ K 4 @ *CP 8 @ 13 @C?+ )+ 1 1 C 1 ?@A) 1 *@ 8 @ 38 @ 1 @E?)=>+ 3 Q)E) *) 1 OC, 48 ) 1

@ 13 ) 5 C)C 1 @ ) 1 38 CE 5 C 3 )C 1 O 4 E=M@ 1 *+ *@ 1 @EW+ 6! *@A+E 1? 8 )=>+ @A A)?@AB?C 5 ) R 4 A) *) 1

5 +A 3 @?HE 5 C) 1 CEC 5 )) 1 E+ 1 ./J 3 ) 8 ) + @E 1 CE+ O 4 E)A@E?)Q @ 3 ) 8 ) + @E 1 CE+ ARC+

5 +A+ 3 ) 8 ?@ CE?@, 8 )E?@ *+ 5488 N 54 Q+ ) @ 15 +Q) 7 B 1 C 5 )' A) 1 K 4 @ )CE) E>+ 3 + 114 C' E+

` 8 ) 1 CQ' 4 A EVA@ 8 + *@ 3 @ 1 K 4 C 1 ) 1 14 OC 5 C@E?@ 3 ) 8 ) ) 5 +A 38 @@E 1 >+ *@ 1 @ 41 A@ 5 )EC 1 A+ 1

4 ?CQCP)*+ 1 E) O+ 8 A)=>+ *+ 1 5 +E 5 @C?+ 1 A)?@AB?C 5 + 16

.@ 1 K 4 C 1 )*+ 8 @ 1 5 +A+ `+@ 8 + ]FGGa_' *C 154 ?@A + 38 + 5 @ 11 + A@E?)Q 147 X) 5 @E?@ Z

38 +* 4 =>+ *@ )OC 8 A)=M@ 1 @ 38 +L) 1 3 + 8 )Q 4 E+ 1 *@ ^b 1 R 8 C@ 6 J) 3 @ 1 K 4 C 1 ) *@ 1 ?@ ) 4 ?+ 8 ' +

38 + 7 Q@A) 5 +E 1 C 1 ?@ @A L@ 8 COC 5 ) 8 K 4 @ ) A)C+ 8 C) + 1 )Q 4 E+ 1 E@ 1 ?@ ENL@Q @ @ 15 +Q) 8 C)@

3 +@ 38 + 4 PC 8 ?@+ 8 @A) 1 ] 5 +EX@ 5? 48 ) 1 @ 38 +L) 1 _ 1 @ @Q@ 1 O+ 8 @A 5 +Q+ 5 )+ 1 1 + 7 5 +EC=M@ 1 *@

CA 3 Q@A@E?) 8 4 A 38 + 5 @ 11 + 5 +A ) 1 1 @, 4 CE?@ 1 5 ) 8 ) 5 ?@ 8 N 1 ?C 5 ) 1 ;

! * 48 )E?@ ) 38 +* 4 =>+ ) 5 +EX@ 5? 48 )' + @ 1? 4 )E?@ 38 +, 8 @ 11 CL)A@E?@? 8 ) 7 )QW) 14 ) WC 3 Y?@ 1 @ 3 + 8 A@C+ @ 4 A) )?CLC)@ ) 8 , 4 A@E?)?CL) CE?@E 1 ) AC 1? 48 )) O 4 E 5 C+E)QA@E?@ 5 +A ) X 41 ?COC 5 )=>+ ) 3 Q) 41 C 7 CQC)*@ *@ 14 ) 1 @ 15 +QW) 1 c

! * 48 )E?@ + @ 1 ?B,C+ 1 @, 4 CE?@ *) 38 +L)' + @ 1? 4 )E?@ + 8 ,)ECP)' 3 + 8 A@C+ @ 8 @Q)=M@ 1 5 +E 1? 84 N) 1 @ A)E@C 8 ) 5 +@ 8 @E?@' )Q, 4 A) 1 X 41 ?COC 5 )?CL) 1 ]d) 8 , 4 A@E?+ 1 e_ 38 + 4 PC) 1 * 48 )E?@ ) 5 +E 1? 84 =>+ *) )OC 8 A)=>+ *@ ) 5 + 8 *+ 5 +A 4 A) 5 + 88 @E?@ QY,C 5 ) 6

!QRA @? 8 ) 7 )QW+ 1 K 4 @ 38 + 548 )A A@QW+ 8 5 +A 38 @@E@ 8 + 8 ) 5 C+ 5 NEC+ QY,C 5 +' E+ 1

*@ 3 ) 8 )A+ 1 5 +A + 4? 8 + 1 K 4 @ 7415 )A 4 A) A@QW+ 8 5 +A 38 @@E 1 >+ *+ K 4 @ L@A ) 1 @ 8 4 A)

38 +L) A)?@AB?C 5 ) 6 % 14 )QA@E?@' 5 +E 1 C@ 8 )A+ 1 ) !"#$%&'()+$ 5 +A+ 4 A 38 + 5 @*CA@E?+

@ L)QC)=>+ K 4 @ 5 ) 8 ) 5 ?@ 8 CP) ) A)?@AB?C 5 ) @ ) *C 1 ?CE, 4 @ *) 1 5 CHE 5 C) 1 @T 3 @ 8 CA@E?)C 1 '

)QRA *@ + 543 ) 8 4 A Q 4 ,) 8 *@ *@ 1 ?)K 4 @ E@ 11 ) C 15 C 3 QCE) 6 !+?)A+ 1 ) *C 1 ?CE=>+ @E? 8 @

@T 3 QC 5 )=>+' 38 +L) @ @A+E 1? 8 )=>+ 1 @, 4 E+ `)Q) 5 W@OO ]FG^[_ 6

! "-./ 01 )+$ 1 C? 4 ) 01 @ E+ ENL@Q + 14 X@C?+ Q+ 54 ?+ 8 5 +A ) OCE)QC)@ *@ 5 +A 4 EC 5 ) 8

)+ + 4? 8 + + 5 ) 8 B?@ 8 @ L@ 8 )@ @ 4 A @E 4 E 5 C)+ A)?@AB?C 5 + 6! @T 3 QC 5 )=>+' 8 @ 5 +EW@ 5 C)

f

f

5 +A+ 5 +ELCE 5 @E?@ 3 + 8 4 A) 5 +A 4 EC)@' )K 4 C 8 @ 4 A @ 1 ?)? 4 ?+ 1 + 5 C)Q' 5 +E 1 ?C? 4 CE+ 01 @

4 A) 38 +L) 3 ) 8 ) @ 1 ?) 5 +A 4 EC)@' 1 @X) ) 38 + 3 + 1 C=>+ dL@ 8 )@C 8 )e + 4 E>+ 6 U 4 )E*+ )

38 +L) 1 @ 8 @O@ 8 @ ) 4 A @E 4 E 5 C)*+ A)?@AB?C 5 +' `)Q) 5 W@OO ) 5 W)A)' 1 +A@E?@ E@ 1 ?@ 5 ) 1 +' *@

*@A+E 1? 8 )=>+ 6

! 1 .($ 2 )& 1 >+ @T 3 QC 5 )=M@ 1 ) 5 @C?) 1 3 + 8 + 4? 8 + 1 E 4 A @?@ 8 ACE)+ A+A@E?+'

3 +@E+ ?@ 8 + @ 1 ?)? 4 ?+ *@ 38 +L) 3 ) 8 ) @?@ 8 ACE)+ , 843 + 1 + 5 C)Q' A) 1 E>+ 3 ) 8 ) 4 A + 4? 8 + 6

! 1 *@A+E 1? 8 )=M@ 1 1 >+ 38 +L) 1 3 ) 8 ?C 54 Q) 8 @ 1 5 +A ) 1 1 @, 4 CE?@ 1 5 ) 8 ) 5 ?@ 8 N 1 ?C 5 ) 1 ;

! 1 >+ ) 1 VEC 5 ) 1 ) 5 @C?) 1 3 @Q+ 1 A)?@AB?C 5 + 1

! 8 @ 13 @C?)A 5 @ 8 ?) 1 8 @, 8 ) 1 ; )Q, 4 E 1 @E 4 E 5 C)+ 1 1 >+ 5 +E 1 C@ 8 )+ 1 L@ 8 )@C 8 + 1 ])TC+A) 1 _' + 4? 8 + 1 1 >+ @ 4 PC+ 1 *@ 1 ?@ 1 + 4 *@ + 4? 8 + 1 )E?@ 8 C+ 8 A@E?@ @A+E 1? 8 )+ 1 ) 3 ) 8 ?C 8 *@ 8 @, 8 ) 1 @ @ 4 =>+ ?+A)) 1 E 4 A 5 +EX 4 E?+ *@ 8 @, 8 ) 1 QY,C 5 ) 1

!? 8 ) 7 )QW)A 1 + 78 @ + 7 X@?+ 1 A)?@AB?C 5 + 1 5 +A 4 A @ 1 ?)? 4 ?+ ?@Y 8 C 5 +' E>+ 3 @ 8 ?@E 5 @E?@ 1 )+ A 4 E*+ 1 @E 1 NL@Q' @A 7 + 8 ) ) @Q@ O)=)A 8 @O@ 8 HE 5 C) 6

`)Q) 5 W@OO ][ggh_ *C 154 ?@ *CL@ 81 ) 1 3 @ 813 @ 5 ?CL) 1 *@ 38 +L) A)?@AB?C 5 ) E+ 38 + 5 @ 11 +

@ @E 1 CE+ @ ) 38 @ECP),@A @ K 4 @ 1 ?C+E) 1 @ 1 @ 8 C) 3 + 11 NL@Q 4 A 5 +E 1 @E 1 + ) 8 @ 13 @C?+ *@ 38 +L)

@A A)?@AB?C 5 )' 5 +EO 8 +E?)E*+ ) 1 5 +Q+ 5 )=M@ 1 *@ &@ iCQQC@ 81 ]C_ @ j)EE) @ k)El@ ]CC_

]) 34 * `!"!/j<II' [ggh' 36 Ff_ ) 8 @ 13 @C?+ *) 1 O 4 E=M@ 1 *) 38 +L);

]C_ L@ 8 COC 5 )=>+' @T 3 QC 5 )=>+' 1 C 1 ?@A)?CP)=>+' *@ 15 + 7 @ 8 ?) @ 5 +A 4 EC 5 )=>+

]CC_ 5 +E 1? 84 =>+ *@ 4 A) ?@+ 8 C) @A 3 N 8 C 5 )' @T 3 Q+ 8 )=>+ + 1 C,ECOC 5 )+ *@ 4 A) *@OCEC=>+ + 4 ) 1 5 +E 1 @KmHE 5 C) 1 @ 4 A) WC 3 Y?@ 1 @' ) 71 + 8 L@E+ 4 A O)?+ E+L+ E 4 A) E+L) @ 1? 84? 48 ) @ 3 @ 8 AC?CE+ 4 A) E+L) 3 @ 85 @ 3 =>+ 6

$ ) 4 ?+ 8 @ 1 ?) 5 )' )CE)' 3 @ 813 @ 5 ?CL) 1 8 )*C 5 )QA@E?@ *CO@ 8 @E?@ 1 *@ @ 3 C 1 ?@A+Q+,C) 1

@ 38 +L) 1 A)?@AB?C 5 ) 1 K 4 @ O)P@A 4 A) , 8 )E@ *CO@ 8 @E=)' 5 +A+' 3 + 8 @T@A 3 Q+' 38 +L)

5 +A+ ?C 3 + *@ 5 +A 38 +L)=>+ 4 ECL@ 81 )Q @ @T@A 3 Q) 8 + 4 CEN 5 C+ *@ 4 A) E)? 48 @P)

C*C+ 11 CE 58 B?C 5 ) E+ EV 5 Q@+ *) A)?@AB?C 5 )' + 4 5 +A+ CE 1? 84 A@E?+ E@ 5 @ 11 B 8 C+ *)

A)?@AB?C 5 )' + 4 ' )CE)' 5 +A+ )Q,+ K 4 @ )K 4 C 8 @ 1 @ 4 1 C,ECOC 5 )*+ *) 1 ) 3 QC 5 )=M@ 1 + 4 5 +A+

4 A 5 )A 3 + ) 4 ?nE+A+ *) A)?@AB?C 5 ) 6! O)Q?) *@ 5 Q) 8 @P) *@ 11 ) 1 CO@ 8 @E=) 1 3 +@ ?+ 8 E) 801 @

  • 71 ?B 54 Q+ E) 1 3 @ 1 K 4 C 1 ) 1 ' 5 +E? 8 C 74 CE*+ 3 ) 8 ) ,@ 8 ) 8 4 A) 1 C? 4 )=>+ *@ CA 3 ) 11 @ 3 ) 8 ) +

3 @ 1 K 4 C 1 )*+ 86

p

p

VLC) 16 #) 1 @Q@ )Q@ 8 ?) K 4 @ ) *@A+E 1? 8 )=>+ ?@A + 4? 8 ) 1 O 4 E=M@ 1 @A A)?@AB?C 5 );

C_ $? 9 J@JKG=>:; 5 +EL@E 5 CA@E?+ 38 Y 38 C+ @ *+ 1 + 4? 8 + 1 ) 8 @ 13 @C?+ *)

L@ 8 ) 5 C)@ *@ 4 A) )OC 8 A)=>+c CC_ &BEAJKG=>:; 5 +A 38 @@E 1 >+ *+ 3 + 8 K 4 @ 4 A) )OC 8 A)=>+ R L@ 8 )@C 8 )c CCC_ '?CK:D? 98 G; @ E+L) 1 ?@+ 8 C) 1 ' 5 +EX@ 5? 48 ) 1 + 4 8 @ 14 Q?)+ 1 ) 3 ) 8 ?C 8 *) ?@E?)?CL) *@ 1 @ *@A+E 1? 8 ) 8 4 A) 5 +EX@ 5? 48 )c CL_ 0 :H< 7 JKG=>:; E@,+ 5 C)=>+ + 1 C,ECOC 5 )+ *@ + 7 X@?+ 1 A)?@AB?C 5 + 1 c L_ '?CG@J: J 78 ?A?K 8 <GA; 1 )?C 1 O)=>+ 3 @ 11 +)Q 3 @Q+ HTC?+ E) *@A+E 1? 8 )=>+ *@ 4 A ?@+ 8 @A)c LC_ *JC 8 ?HG 8 JLG=>:; + 8 ,)ECP)=>+ @ 8 @ 14 Q?)+ 1 E 4 A 1 C 1 ?@A) @ 4 ?CL+ *@ )TC+A) 1 ' 5 +E 5 @C?+ 1 @ ?@+ 8 @A) 16

!E)QC 1 )E*+ ) 1 5 ) 41 ) 1 + O 8 ) 5 ) 11 + E+ @E 1 CE+ 0 ) 38 @ECP),@A *) *@A+E 1? 8 )=>+ @A

A)?@AB?C 5 )' & 4 L)Q ]FGGp_ CP K 4 @ @Q) @EL+QL@ 4 A) )?CLC)*@ 5 +,EC?CL) @ 13 @ 5 COC 5 ) @ K 4 @

14 ) ) 38 @ECP),@A E>+ @ 1 ?B QC,)) ) 4 A) 1 C? 4 )=>+ *@ CE?@ 8 )=>+ 1 + 5 C)Q' E@A 147 + 8 CE)) )

4 A X+,+ *@ 38 @ 11 M@ 1 CE?@ 8 E) 1 @ 4 A + 7 X@?+ 6 <Q) R 4 A A++ *@ 38 + 5 @ 11 )A@E?+ 5 +,EC?CL+

) 4 ?nE+A+ 5 +A 5 ) 8 ) 5 ?@ 8 N 1 ?C 5 ) 1 @ 13 @ 5 COC 5 ) 1 @A 8 @Q)=>+ ) K 4 )QK 4 @ 8 + 4? 8 ) O+ 8 A) *@

O 4 E 5 C+E)A@E?+ + 8 ) 5 C+ 5 NEC+' 5 +A+ ) CE 4 =>+' ) ) 8 , 4 A@E?)=>+' ) CE?@ 838 @?)=>+ 6 &@ 4 A

Q)+' @Q) ) 8 ?C 54 Q) + 1 @E 4 E 5 C)+ 1 @A O 4 E=>+ + @ 1 ?)? 4 ?+ K 4 @ QW@ R 8 @ 5 +EW@ 5 C+ @ E>+ @A

O 4 E=>+ @ 1 @ 4 1 C,ECOC 5 )+c 3 + 8 + 4? 8 + Q)*+' @Q) 1 @ O)P @A 38 +, 8 @ 11 >+ 3 + 8 1471 ?C? 4 C=>+ *@

@E 4 E 5 C)+ 1 @ E>+ 3 @Q+ @E 5 )@)A@E?+ 6! ) 38 @E*CP),@A *) *@A+E 1? 8 )=>+' 3 ) 8 ) & 4 L)Q'

5 +E 1 C 1 ?@ 38 CA@C 8 )A@E?@ E) 5 +E 15 C@E?CP)=>+ *@ K 4 @ 1 @? 8 )?) *@ *C 15481 + *CO@ 8 @E?@ *+ K 4 @ R

38 )?C 5 )+ 3 @Q+ 3 @E 1 )A@E?+ E)? 48 )Q 6! ?+A)) *@ 5 +E 15 CHE 5 C) *+ K 4 @ R 4 A)

*@A+E 1? 8 )=>+ 1 +A@E?@ + 5 + 88 @ E 4 A) ) 8 ?C 54 Q)=>+ *@ *+C 1 8 @,C 1? 8 + 1 ' *+ 1 K 4 )C 1 4 A R )

4 ?CQCP)=>+ 3 @Q+ )Q 4 E+ ) QCE, 4 ),@A E)? 48 )Q 6 < 11 ) ?+A)) *@ 5 +E 15 CHE 5 C) 148 ,@ *)

CE?@ 8 )=>+ @E? 8 @ ) 8 @ 38 @ 1 @E?)=>+ E>+ C 15481 CL) 38 + 4 PC*) @ ) *+ *C 15481 + @T 38 @ 11 + 6

(@A VLC) )Q, 4 A)' ) 1 *C 15411 M@ 1 ) 8 @ 13 @C?+ *@ 38 +L) 1 @ *@A+E 1? 8 )=M@ 1 1 >+

CEVA@ 8 ) 1 @ @T?@E 1 ) 1 4 A) L@P K 4 @ + ?@A) 3 +*@ 1 @ 8 ) 7 + 8 )+ 1 + 7 *CL@ 81 ) 1 Y?C 5 ) 16 J+

@E?)E?+' )AC?CA+ 1 K 4 @ ) 38 +L) A)?@AB?C 5 ) @ 1 ?B 8 @Q) 5 C+E)) ) 4 A 38 + 5 @ 11 + @ L)QC)=>+

*@ 4 A O)?+ A)?@AB?C 5 + @ K 4 @ + 8 @,C 1? 8 + *@ 4 A) *@A+E 1? 8 )=>+ @L@ 1 @ 8 ) 3 +C)+ @A O)?+ 1

A)?@AB?C 5 + 1 5 +A 38 +L)+ 1 @ K 4 @ + 5 +EX 4 E?+ + 8 ,)ECP)+ *@ 11 @ 1 O)?+ 1 *@L@ 5 +A 38 +L) 8 *@

O+ 8 A) C 88 @O 4 ?BL@Q )Q, 4 A ?C 3 + @ 38 + 3 + 1 C=>+ A)?@AB?C 5 ) 6 $ @E 5 )@)A@E?+ QY,C 5 + *+ 1

T´ecnicas de Demonstra¸c˜ao

Prof. Dr. Leandro Balby Marinho

Matem´atica Discreta

Introdu¸c˜ao

I (^) Uma prova ´e um argumento v´alido que estabelece a verdade de sente¸cas matem´aticas. I (^) Um teorema ´e uma senten¸ca que pode ser mostrada verdadeira. I (^) Um lemma ´e normalmente um teorema auxiliar utilizado para provar outros teoremas. I (^) Um corol´ario ´e um teorema que pode ser estabelecido diretamente do teorema que foi provado. I (^) Uma conjectura ´e uma senten¸ca sendo proposta como verdade, mas que precisa ser provada para virar teorema.

Forma dos Teoremas

Muitos teoremas s˜ao apresentados na forma condicional p → q.

Exemplo 1: “Se x > y , no qual x e y s˜ao n´umeros reais positivos, ent˜ao x^2 > y 2 ”. Embora apresentado informalmente, o que esse teorema realmente significa ´e: ∀x, y (P(x, y ) → Q(x, y )), no qual P(x, y ) denota “x > y ” e Q(x, y ) “x^2 > y 2 ”.

Exemplo 2: “Se n ´e um n´umero inteiro ´ımpar, ent˜ao n^2 ´e ´ımpar.” Esse teorema afirma que ∀n (P(n) → Q(n)), no qual P(n) denota “n ´e um inteiro ´ımpar” e Q(n) denota “n^2 ´e ´ımpar”.

Demonstra¸c˜ao Exaustiva

A conjectura pode ser provada verficando-se que ela ´e verdadeira para todos os elementos da cole¸c˜ao. Para provar a falsidade da conjectura, basta achar um contra-exemplo.

Demonstra¸c˜ao Exaustiva

A conjectura pode ser provada verficando-se que ela ´e verdadeira para todos os elementos da cole¸c˜ao. Para provar a falsidade da conjectura, basta achar um contra-exemplo. Exemplo 3: Prove a conjectura “Para todo inteiro positivo n, n! ≤ n^2 ”.

Demonstra¸c˜ao Exaustiva

A conjectura pode ser provada verficando-se que ela ´e verdadeira para todos os elementos da cole¸c˜ao. Para provar a falsidade da conjectura, basta achar um contra-exemplo. Exemplo 3: Prove a conjectura “Para todo inteiro positivo n, n! ≤ n^2 ”. Solu¸c˜ao: A conjectura ´e falsa pois n˜ao ´e verdade para todo n: ´e falsa para n = 4.

n n! n^2 n! ≤ n^2 1 1 1 sim 2 2 4 sim 3 6 9 sim 4 24 16 n˜ao

Exerc´ıcio 1: Prove a conjectura “Para qualquer inteiro positivo menor ou igual a 5, o quadrado do inteiro ´e menor ou igual `a soma de 10 mais 5 vezes o inteiro”.

Demonstra¸c˜ao por Casos

Uma prova por casos deve cobrir todos os casos poss´ıveis que aparecem em um teorema.

Demonstra¸c˜ao por Casos

Uma prova por casos deve cobrir todos os casos poss´ıveis que aparecem em um teorema. Exemplo 4: Prove que se n ´e um inteiro, ent˜ao n^2 ≥ n. (i) Quando n = 0. Como 0^2 = 0, ent˜ao n^2 ≥ 0 ´e verdadeiro nesse caso.

Demonstra¸c˜ao por Casos

Uma prova por casos deve cobrir todos os casos poss´ıveis que aparecem em um teorema. Exemplo 4: Prove que se n ´e um inteiro, ent˜ao n^2 ≥ n. (i) Quando n = 0. Como 0^2 = 0, ent˜ao n^2 ≥ 0 ´e verdadeiro nesse caso. (ii) Quando n ≥ 1. Multiplicando os dois lados da inequa¸c˜ao pelo inteiro positivo n, obtemos n · n ≥ n · 1. Isso implica que n^2 ≥ n para n ≥ 1.

Demonstra¸c˜ao por Casos

Uma prova por casos deve cobrir todos os casos poss´ıveis que aparecem em um teorema. Exemplo 4: Prove que se n ´e um inteiro, ent˜ao n^2 ≥ n. (i) Quando n = 0. Como 0^2 = 0, ent˜ao n^2 ≥ 0 ´e verdadeiro nesse caso. (ii) Quando n ≥ 1. Multiplicando os dois lados da inequa¸c˜ao pelo inteiro positivo n, obtemos n · n ≥ n · 1. Isso implica que n^2 ≥ n para n ≥ 1. (iii) Quando n ≤ −1. Como n^2 ≥ 0 segue que n^2 ≥ n.

Exerc´ıcio 2: Mostre que se x ou y forem inteiros pares, ent˜ao xy ´e par.

Roteiro

1. Introdu¸c˜ao

2. Demontra¸c˜ao Exaustiva

3. Demontra¸c˜ao Direta

4. Demontra¸c˜ao por Contraposi¸c˜ao

5. Demontra¸c˜ao por Absurdo

6. Indu¸c˜ao

7. Recursividade