Apol03RaciocnioLogicoNota100

Questo1/10
CompleteaTabelaVerdadeabaixo,eidentifiqueseelaumatautologia,contradioou
contingncia.

A Contingncia
B Tautologia
C Contradio
D Contignciae
Tautologia

Questo2/10
ComodescritonoSlide3daAula3,"UmaproposioP(p,q,r,...) implicalogicamente
numaproposioQ(p,q,r,...)seQ(p,q,r,...)verdadeira(V)todasasvezesqueP(p,q,r,
...)verdadeira.Nestascondies,escrevesequeP(p,q,r....)Q(p,q,r,...),quesel:P
implicaemQ."
Consideraseentoquea implicaolgica entreduasdadasfrmulasproposicionaisocorre
quando:

A quandonasrespectivastabelasverdades,linhaalinhanascolunasresultado,no
concorresimultaneamenteemverdadefalsidade,nestaordem.
B quandooconjuntorespostadastabelasverdadesnulo.
C quandoastabelasverdadestemcomoconjuntorespostaFparatodaslinhas.
D quandoasastabelasverdadestemoconjuntorespostaemtodaslinhasVerdadeiroe
Falsoalternadamente.
E quandoasfrmulasproposicionaissoiguais.

Questo3/10
ComoapresentadonoSlide3/10daaula3,osmboloutilizadopararepresentarquequeuma
proposioP
implicalogicamente
numaproposioQ:
A pq
B PQ
C PQ
D pP
E QQ

Questo4/10
Aimplicao
dasProposiespe
q,
comasproposiescompostas
(p^q)(pvq)
,nesta
ordem,soconsideradasimplicaolgica emqualdoscenrios?

A ento (p^q)(pvq)
gerauma contradio
.

B
ento
(p^q)(pvq)
gerauma
tautologia
.
Logo,(p^q)(pvq)
C ento
(p^q)(pvq)
gerauma
contingncia
.
D ento
(p^q)(pvq)
noumaproposiovlidaparaeste
argumento.

Questo5/10
AEquivalnciadescritanosSlides3e4/10daaula3como:
DadasasfrmulasproposicionaisP(p,q,r,...,p1,...,pn)dizsequetodasasfrmulasso
logicamenteequivalentesse,esomentese,V[P(p,q,r,...)]=V[Q(p,q,r,...)]para
quaisquerdosvaloresverdadedasnproposiessimplescomponentes.

Estadescriocomprovadaatravsdoseguinteteorema:

A Equivalncia:P(p,q,r,...)Q(p,q,r,...)se,esomentese,V[P(p,q,r,...)]=V[Q(p,
q,r,...)]paraos2narranjospossveisdevaloresverdadedasp,q,r,...proposies
componentes.


B Equivalnciapossuiomesmosignificadodaimplicaolgica,alterandoapenaso
conectivolgicopara
C Equivalncia:PQparaascontradies
D Equivalnciaeimplicaolgicasoteoremascomplexosqueutilizamdiferentes
conectivoslgicos

Questo6/10
Atabelaverdadeabaixo,apresentadacomoexemplonoSlide4/10daaula3,
justificaoseguinteteorema:

A Equivalncia:P(p,q,r,...)Q(p,q,r,...)se,esomentese,V[P(p,q,r,...)]=V[Q(p,
q,r,...)]paraos2narranjospossveisdevaloresverdadedasp,q,r,...proposies
componentes,comonoexemplo:pq~pvq
B Teoremadatabelaverdadedaimplicao
C TeoremaabstratodePeQ
D TabelaVerdadenoexpressanenhumteorema

Questo7/10
OSlide6/10daaula3sugerealeituradoartigoCaptulo5ImplicaoLgicadoLivro
IniciciaoaLgicaMatemticadeEdgarAlencarFilho.
SegundodescritonestecontedoeSegundoadefiniodeimplicaolgicadocaptulo1
pagina49,emparticulartodaproposioimpicalogicamenteuma:

A contradio
B implicao
C idempotnci
a
D Tautologia

Questo8/10
OSlide6/10daaula3sugerealeituradoartigoCaptulo6EquivalnciaLgicadoLivro
IniciciaoaLgicaMatemticadeEdgarAlencarFilho.
SegundodescritonestecontedoeSegundoadefiniodeEquivalncialgicadocaptulo1
pagina54,definisequeumaproposioPlogicamenteequivalanteouapenasequivalea
umaproposioQse:
A Astabelasverdadedestasduasproposiesso
diferentes
B PeQsorepresentadasportabelaverdadediferentes
C Astabelasverdadedestasduasproposiesso
idnticas
D PeQnosorepresentadosportabelasverdade

Questo9/10
OSlide6/10daaula3sugerealeituradoartigoCaptulo6EquivalnciaLgicadoLivro
IniciciaoaLgicaMatemticadeEdgarAlencarFilho.
SegundodescritonestecontedoeSegundoadefiniodeEquivalncialgicadocaptulo1
pagina54,aequivalncialgicarepresentadapeloseguintesmbolo:

A
B
C
D <>

Questo10/10
NoSlide8/10aula3informadoque:
"Atabelaverdade,combasenasregrasdeimplicaoeequivalncia,trazresultadospara
comprovaodevaloresquepodemserconsideradoscomo:"
A novastabelasverdade
B gerenciadoresdecomprovaodeuma
proposio.
C novasediferentesproposies
D mtodoqualitativodeestudodeclculo