You are on page 1of 7

10/03/2015

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

You might also like