11/10/2016 AVAUNIVIRTUS

AP (Atividade Prtica)

RUDNEY CARREIRA - RU: 127374 Nota: 80 PROTOCOLO: 20161002127374C463A8

Disciplina(s):
Raciocnio Lgico

Data de incio: 02/10/2016 16:49

Prazo mximo entrega: -
Data de entrega: 10/10/2016 15:24

Questo 1/15
Leiaotexto:

...asclassesdefrmulasproposicionaissocaracterizadaspelaformaestrutural,isto,pelasestruturas
Pgina15,RaciocnioLgicoQuantitativoProfPaulaFrancis
Benevides,AULA1.
Considerandootextodoenunciadoeoscontedosabordadosemsalaenomaterialdeapoio,assinaleVparaa(s)
definiesdeFrmulaproposicionalVERDADEIRASeFparaasFALSAS.

I.()Afrmulaproposicionalcompostaporumnicooperadorlgico.
II.()Umafrmulaproposicionalumconjuntoousriefinitadetermosconstitudadepelomenosumoperadorlgico
queincidasobreaomenosumaproposiosimplescomponente.
III.()frmulaproposicionalarelaoentreasletrasdoalfabetoeosoperadoresprimriosmatemticosdeadio,
subtrao,multiplicaoediviso.
IV.()Conjuntodeoperadoresmatemticosqueatuamsobreosnmerosevariveislgicas,queincidemsobreos
resultadosdasoperaes.

Assinaleasequnciacorreta:

Nota: 6.7

A F,F,V,V

B V,V,V,V

C F,F,V,F

D F,V,F,F

Vocacertou!
CORRETAApenasaalternativaIIcorretacomoapresentadonocaptulo4.1RELAESENTRE
CONECTIVOSLGICOSEOSOPERADORESLGICOSSubcaptulo4.1.1DEFINIO,RaciocnioLgico
QuantitativoProfPaulaFrancisBenevides,AULA1,Pgina15).Asdemaissoincorretas

Questo 2/15
Naaulaterica4soapresentadasasseguintespropriedadesdaConjunoeDisjuno:

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 1/12
11/10/2016 AVAUNIVIRTUS

Nota: 0.0

A Negao
Conjuno
Disjuno
Implicao

B No:~
E:^
Ou:v
Implicao:

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 2/12
11/10/2016 AVAUNIVIRTUS

C Idempotente
Comutativa
Associativa
Identidade

ComoapresentadonoSlide5/11daaulaterica4

D Tautologia
Contradio
Associatividade
Comutatividade

Questo 3/15
Leiaofragmentodetextoaseguir:Chamasedenegaodeumaproposiopaproposiocujovalorlgico
verdadeiro(V)quandopfalsaefalso(F)quandopverdadeiro.Pgina16,RaciocnioLgicoQuantitativoProf
PaulaFrancisBenevides,AULA1.
Considerandootextodoenunciadoeoscontedosabordadosemsalaenomaterialdeapoio,anegao
simbolicamenterepresentadapor:

Nota: 6.7

A ~p=negaodeq

B ~p=tildep

C p~=negaodep

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 3/12
11/10/2016 AVAUNIVIRTUS

D ~p=negaodep

Vocacertou!
Captulo4.2.1NEGAO,Pgina16,RaciocnioLgicoQuantitativoProfPaulaFrancisBenevides,AULA1

Questo 4/15
NoSlide8/10aula3informadoque:
"Atabelaverdade,combasenasregrasdeimplicaoeequivalncia,trazresultadosparacomprovaodevaloresque
podemserconsideradoscomo:"

Nota: 6.7

A novastabelasverdade

B gerenciadoresdecomprovaodeumaproposio.

Vocacertou!

C novasediferentesproposies

D mtodoqualitativodeestudodeclculo

Questo 5/15
OModusponens(MP)umdosargumentosvlidos(fundamentais)apresentados.(Slide13/47daaula5).
Considerandoomaterialapresentadonasaulas,nosmateriaiscomplementaresenolivrobase,qualaalternativaque
representaCORRETAMENTEoargumentoModusponens(MP)?

Nota: 0.0

A p>p

B p q p (p^q)

C p^~p>pvq

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 4/12
11/10/2016 AVAUNIVIRTUS

D p q
p q

(e)Modusponens(MP)Slide13/47daaula5

Questo 6/15
ComoapresentadonoSlide3/11daaulaterica4,
"Omtododedutivonospermitetrabalharcomasimplificao,implicao,adio,modusponens,modustollens,
silogismodisjuntivoeoutrasformaspara:"

Nota: 6.7

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 5/12
11/10/2016 AVAUNIVIRTUS

A comprovarumatautologiaouno

Vocacertou!
ComoapresentadonoSlide3/11daaulaterica4

B implicaoeequivalncialgica

C proposiesconcorrentes

D induziraoresultadolgicoequivalente

Questo 7/15
AssinaleaalternativaquecompletaaTabelaVerdadecorretamente.

Nota: 6.7

A VVFFVFVV

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 6/12
11/10/2016 AVAUNIVIRTUS

B VVVFFFVV

Vocacertou!

C FFFFVVFV

Questo 8/15
Osargumentosvlidossoapresentadoscomoargumentosfundamentais(Slide12/47daaula5).Considerandoo
materialapresentadonasaulas,nosmateriaiscomplementaresenolivrobase,qualaalternativaquerepresenta
CORRETAMENTEoargumentodaSimplificao(SIMP)?

Nota: 6.7

A p>p

B qvq>p^p

C p^~p>pvq

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 7/12
11/10/2016 AVAUNIVIRTUS

D p^q p
p^q q

Vocacertou!
Slide12/47daaula5

Questo 9/15

AssinaleaalternativaquecompletaaTabelaVerdadecorretamente.

Nota: 6.7

A FFVF

B FFFF

C FVFF

D VVVF

Vocacertou!

Questo 10/15

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 8/12
11/10/2016 AVAUNIVIRTUS

ComoapresentadonoSlide4/11daaula4,
"MtodoDedutivo:ImplicaeseequivalnciaspodemserdemonstradaspeloempregodoMtodoDedutivo:quando:"

Nota: 6.7

A utilizasedasubstituiodeproposiessimplesp,q,r,t(verdadeira)ec(falsa),quenelasfiguram,
sosubstitudasrespectivamenteporproposiescompostasP,Q,R,T(tautologia)eC
(contradio).

Vocacertou!
ComoapresentadonoSlide4/11

B sededuzoerro

C deduzidoovalordeproposiesdovalortotal

D sepretendereduzir(deduzir)onmerototaldeproposiescompostas

Questo 11/15
OSlide6/10daaula3sugerealeituradoartigoCaptulo6EquivalnciaLgicadoLivroIniciciaoaLgica
MatemticadeEdgarAlencarFilho.
SegundodescritonestecontedoeSegundoadefiniodeEquivalncialgicadocaptulo1pagina54,aequivalncia
lgicarepresentadapeloseguintesmbolo:

Nota: 6.7

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 9/12
11/10/2016 AVAUNIVIRTUS

Vocacertou!

D <>

Questo 12/15
Leiaotexto:

...asclassesdefrmulasproposicionaissocaracterizadaspelaformaestrutural,isto,pelasestruturas

Pgina15,RaciocnioLgicoQuantitativoProfPaulaFrancisBenevides,AULA1.

Considerandootextodoenunciadoeoscontedosabordadosemsalaenomaterialdeapoio,assinaleVparaa(s)
definiesdeFrmulaproposicionalVERDADEIRA(S)eFparaa(s)FALSA(S).
I.()Afrmulaproposicionalcompostaporumnicooperadorlgico.
II.()Umafrmulaproposicionalumconjuntoousriefinitadetermosconstitudadepelomenosumoperadorlgico
queincidasobreaomenosumaproposiosimplescomponente.
III.()frmulaproposicionalarelaoentreasletrasdoalfabetoeosoperadoresprimriosmatemticosdeadio,
subtrao,multiplicaoediviso.
IV.()Conjuntodeoperadoresmatemticosqueatuamsobreosnmerosevariveislgicas,queincidemsobreos
resultadosdasoperaes.

Assinaleasequnciacorreta:

Nota: 6.7

A F,F,V,V

B V,V,V,V

C F,F,V,F

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 10/12
11/10/2016 AVAUNIVIRTUS

D F,V,F,F

Vocacertou!
CORRETAApenasaalternativaIIcorretacomoapresentadonocaptulo4.1RELAESENTRE
CONECTIVOSLGICOSEOSOPERADORESLGICOSSubcaptulo4.1.1DEFINIO,RaciocnioLgico
QuantitativoProfPaulaFrancisBenevides,AULA1,
Pgina15).

Questo 13/15
AssinaleaalternativaquecompletaaTabelaVerdadecorretamente.

Nota: 0.0

A FVFV

B VVVV

C FVVV

D VFFV

Questo 14/15
OSlide6/10daaula3sugerealeituradoartigoCaptulo6EquivalnciaLgicadoLivroIniciciaoaLgica
MatemticadeEdgarAlencarFilho.
SegundodescritonestecontedoeSegundoadefiniodeEquivalncialgicadocaptulo1pagina54,aequivalncia
lgicarepresentadapeloseguintesmbolo:

Nota: 6.7

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 11/12
11/10/2016 AVAUNIVIRTUS

Vocacertou!

D <>

Questo 15/15
AssinaleaalternativaquecompletaaTabelaVerdadecorretamente.

Nota: 6.7

A VVFFVFVV

B VVVFFFVV

Vocacertou!

C FFFFVVFV

http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 12/12