Professional Documents
Culture Documents
AVAUNIVIRTUS
APOL3
MICHAELPEREIRASILVARU:1107326 Nota:100
PROTOCOLO:20150310110732616D9EF
Disciplina(s):
RaciocnioLgico
Datadeincio:
10/03/201510:27
Prazomximoentrega:
Datadeentrega:
10/03/201510:28
Questo1/10
CompleteaTabelaVerdadeabaixo,eidentifiqueseelaumatautologia,contradiooucontingncia.
Contingncia
Tautologia
Vocacertou!
Contradio
ContignciaeTautologia
Questo2/10
ComodescritonoSlide3daAula3,"UmaproposioP(p,q,r,...)implicalogicamentenumaproposioQ(p,q,r,...)
seQ(p,q,r,...)verdadeira(V)todasasvezesqueP(p,q,r,...)verdadeira.Nestascondies,escrevesequeP(p,
q,r....) Q(p,q,r,...),quesel:PimplicaemQ."
Consideraseentoqueaimplicaolgicaentreduasdadasfrmulasproposicionaisocorrequando:
http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/8659/novo/2
1/7
10/03/2015
AVAUNIVIRTUS
quandonasrespectivastabelasverdades,linhaalinhanascolunasresultado,noconcorre
simultaneamenteemverdadefalsidade,nestaordem.
Vocacertou!
Slide3/10Aula3
Implicao
UmaproposioP(p,q,r,...)implicalogicamentenumaproposioQ(p,q,r,...)seQ(p,q,r,...)verdadeira(V)
todasasvezesqueP(p,q,r,...)verdadeira.Nestascondies,escrevesequeP(p,q,r....) Q(p,q,r,...),que
sel:PimplicaemQ.
Aimplicaolgicaentreduasdadasfrmulasproposicionaisquandonasrespectivastabelasverdades,linhaalinha
nascolunasresultado,noconcorresimultaneamenteemverdadefalsidade,nestaordem.
quandooconjuntorespostadastabelasverdadesnulo.
quandoastabelasverdadestemcomoconjuntorespostaFparatodaslinhas.
quandoasastabelasverdadestemoconjuntorespostaemtodaslinhasVerdadeiroeFalsoalternadamente.
quandoasfrmulasproposicionaissoiguais.
Questo3/10
ComoapresentadonoSlide3/10daaula3,osmboloutilizadopararepresentarquequeumaproposioPimplica
logicamentenumaproposioQ:
A
p q
P Q
Q
Vocacertou!
Slide3/10Aula3.
Implicao
UmaproposioP(p,q,r,...)implicalogicamentenumaproposioQ(p,q,r,...)seQ(p,q,r,...)verdadeira(V)
todasasvezesqueP(p,q,r,...)verdadeira.Nestascondies,escrevesequeP(p,q,r....) Q(p,q,r,...),que
sel:PimplicaemQ.
Aimplicaolgicaentreduasdadasfrmulasproposicionaisquandonasrespectivastabelasverdades,linhaalinha
nascolunasresultado,noconcorresimultaneamenteemverdadefalsidade,nestaordem.
Q Q
Questo4/10
AimplicaodasProposiespeq,comasproposiescompostas(p^q) (pvq),nestaordem,soconsideradas
implicaolgicaemqualdoscenrios?
http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/8659/novo/2
2/7
10/03/2015
AVAUNIVIRTUS
ento(p^q) (pvq)geraumacontradio.
B
ento(p^q) (pvq)geraumatautologia.
Logo,(p^q) (pvq)
Vocacertou!
Slide3/10Aula3.
Implicao
UmaproposioP(p,q,r,...)implicalogicamentenumaproposioQ(p,q,r,...)seQ(p,q,r,...)verdadeira(V)
todasasvezesqueP(p,q,r,...)verdadeira.Nestascondies,escrevesequeP(p,q,r....) Q(p,q,r,...),que
sel:PimplicaemQ.
Aimplicaolgicaentreduasdadasfrmulasproposicionaisquandonasrespectivastabelasverdades,linhaalinha
nascolunasresultado,noconcorresimultaneamenteemverdadefalsidade,nestaordem.
ento(p^q) (pvq)geraumacontingncia.
ento(p^q) (pvq)noumaproposiovlidaparaesteargumento.
Questo5/10
AEquivalnciadescritanosSlides3e4/10daaula3como:
DadasasfrmulasproposicionaisP(p,q,r,...,p1,...,pn)dizsequetodasasfrmulassologicamenteequivalentesse,
esomentese,V[P(p,q,r,...)]=V[Q(p,q,r,...)]paraquaisquerdosvaloresverdadedasnproposiessimples
componentes.
Estadescriocomprovadaatravsdoseguinteteorema:
A
Equivalncia:P(p,q,r,...) Q(p,q,r,...)se,esomentese,V[P(p,q,r,...)]=V[Q(p,q,r,...)]paraos
2narranjospossveisdevaloresverdadedasp,q,r,...proposiescomponentes.
Vocacertou!
Slides3e4/10Aula3
Equivalncia:P(p,q,r,...) Q(p,q,r,...)se,esomentese,V[P(p,q,r,...)]=V[Q(p,q,r,...)]paraos2narranjos
possveisdevaloresverdadedasp,q,r,...proposiescomponentes.
http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/8659/novo/2
3/7
10/03/2015
AVAUNIVIRTUS
Porexemplo:p
Ouseja:p
~pvq,
~pvq,pois
Equivalnciapossuiomesmosignificadodaimplicaolgica,alterandoapenasoconectivolgicopara
Equivalncia:P
Equivalnciaeimplicaolgicasoteoremascomplexosqueutilizamdiferentesconectivoslgicos
Qparaascontradies
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,...)]paraos
2narranjospossveisdevaloresverdadedasp,q,r,...proposiescomponentes,comonoexemplo:
p q ~pvq
Vocacertou!
Teorema
DizsequeduasfrmulasproposicionaisquaisquerP(p,q,r,...)eQ(p,q,r,...)sodeimplicao,nestaordem,se,
esomentese,acondicionalentreasmesmasgerar,porequivalncialgica,umatautologia.
Equivalncia:P(p,q,r,...) Q(p,q,r,...)se,esomentese,V[P(p,q,r,...)]=V[Q(p,q,r,...)]paraos2narranjos
possveisdevaloresverdadedasp,q,r,...proposiescomponentes.
Teoremadatabelaverdadedaimplicao
TeoremaabstratodePeQ
TabelaVerdadenoexpressanenhumteorema
Questo7/10
OSlide6/10daaula3sugerealeituradoartigoCaptulo5ImplicaoLgicadoLivroIniciciaoaLgicaMatemtica
http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/8659/novo/2
4/7
10/03/2015
AVAUNIVIRTUS
deEdgarAlencarFilho.
SegundodescritonestecontedoeSegundoadefiniodeimplicaolgicadocaptulo1pagina49,emparticulartoda
proposioimpicalogicamenteuma:
A
contradio
implicao
idempotncia
Tautologia
Vocacertou!
Questo8/10
OSlide6/10daaula3sugerealeituradoartigoCaptulo6EquivalnciaLgicadoLivroIniciciaoaLgica
MatemticadeEdgarAlencarFilho.
SegundodescritonestecontedoeSegundoadefiniodeEquivalncialgicadocaptulo1pagina54,definiseque
umaproposioPlogicamenteequivalanteouapenasequivaleaumaproposioQse:
A
Astabelasverdadedestasduasproposiessodiferentes
PeQsorepresentadasportabelaverdadediferentes
Astabelasverdadedestasduasproposiessoidnticas
Vocacertou!
http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/8659/novo/2
5/7
10/03/2015
AVAUNIVIRTUS
PeQnosorepresentadosportabelasverdade
Questo9/10
OSlide6/10daaula3sugerealeituradoartigoCaptulo6EquivalnciaLgicadoLivroIniciciaoaLgica
MatemticadeEdgarAlencarFilho.
SegundodescritonestecontedoeSegundoadefiniodeEquivalncialgicadocaptulo1pagina54,aequivalncia
lgicarepresentadapeloseguintesmbolo:
A
B
Vocacertou!
C
D
<>
Questo10/10
NoSlide8/10aula3informadoque:
"Atabelaverdade,combasenasregrasdeimplicaoeequivalncia,trazresultadosparacomprovaodevaloresque
podemserconsideradoscomo:"
A
novastabelasverdade
gerenciadoresdecomprovaodeumaproposio.
Vocacertou!
http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/8659/novo/2
6/7
10/03/2015
AVAUNIVIRTUS
novasediferentesproposies
mtodoqualitativodeestudodeclculo
http://univirtus277877701.saeast1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/8659/novo/2
7/7