04/04/2017 ClculoLgico

EXERCCIOSDECLCULOLGICO



1.a)VerificapeloMtododasTabelasdeVerdadeseaproposioseguinteounoumatautologia:
~(aVb)W(~c~b)
b)DepoisdetereselaboradoaTabeladeVerdade,dizme:
qualovalorlgicodaproposionaprimeiralinhadesoluo
qualovalorlgicodeanaprimeiralinhadesoluo
qualovalorlgicodebnaprimeiralinhadesoluo
qualovalorlgicodebnaterceiralinhadesoluo
qualovalorlgicodecnaoitavalinhadesoluo.

2.ConstroiumaTabeladeverdadeparademonstraraseguinteequivalncia:pq=~pVq

3.Sabendoqueaproposiopqtemovalorlgicofalsidade,qualovalorlgicodaproposiopq?

4.Verificaquaisosvaloresdepedeqsabendoque:
pq=Fepq=V.

5.Sabendoqueaumaproposiofalsaeaproposioabumaproposioverdadeira,dizqualovalorlgico
daseguinteproposio:
aV~b

6.Considerandoasproposies:
p:OJooficoudispensadodoexamedeFilosofia
q:OJooficoudispensadodoexamedeMatemtica.
r:OJooficoudispensadodoexamedeLgica

VerificapeloMtododasTabelasdeVerdadeseoJoodispensouaalgumadisciplina,sabendoqueverdadeiraa
seguinteproposio:
~(~p~q)~r
7.UtilizaTabelasdeVerdadeparamostrarque,quaisquerquesejamosvaloreslgicosdepeq,aexpressoseguinte
verdadeira:
p(~pq)


8.Supondoverdadeirasastrsproposiesseguintes:
a
ab
~(bc)

Quepodesdizeracercadovalorlgicodebedec?




ClicaaquipararegressaresaLgicaModerna

http://www.geocities.ws/grupo10b/IB4A.html 1/2