CPC exercício sem resposta 1

Prévia do material em texto

FIL 5631 – LÓGICA I
Exercícios adicionais de tradução para o CPC
Transcreva as sentenças abaixo para a linguagem do cálculo proposicional, utili-
zando a notação sugerida:
C: Está chovendo.
N : Está nevando.
(1) Está chovendo.
(2) Não está chovendo.
(3) Está chovendo ou nevando.
(4) Está chovendo e nevando.
(5) Está chovendo, mas não está nevando.
(6) Não é o caso que está chovendo e nevando.
(7) Se não está chovendo, então está nevando.
(8) Não é o caso que se está nevando então está chovendo.
(9) Está chovendo somente se não está nevando.
(10) Está chovendo se e somente se não está nevando.
(11) Não é o caso que está chovendo ou nevando.
(12) Se está nevando e chovendo, então está nevando.
(13) Se não está chovendo, então não é o caso que está nevando e chovendo.
(14) Ou está chovendo, ou está nevando e chovendo.
(15) Ou está chovendo e nevando, ou está nevando mas não está chovendo.
A: Alice vai à festa.
B: Beatriz vai à festa.
C: Cláudia vai à festa.
D: Débora vai à festa.
(16) Alice não vai à festa.
(17) Alice vai à festa, mas Beatriz não.
(18) Se Alice for à festa, entao Beatriz também irá.
(19) Alice vai à festa, se Beatriz também for.
(20) Alice vai à festa somente se Beatriz for.
(21) Alice vai à festa se e somente se Beatriz for.
(22) Nem Alice nem Beatriz vão à festa.
(23) Não é o caso que Alice e Beatriz ambas irão à festa.
(24) Ou Alice vai à festa, ou Beatriz não vai.
(25) Alice não vai à festa, se Beatriz for.
(26) Ou Alice vai à festa, ou Beatriz e Cláudia vão.
(27) Se Alice for à festa, então Beatriz e Débora também irão.
(28) Alice não vai à festa, mas Beatriz e Cláudia irão.
(29) Se Cláudia for à festa, então, se Alice não for à festa, Beatriz vai.
(30) Se nem Cláudia nem Beatriz forem à festa, então Alice irá.
(31) Cláudia vai à festa somente se Alice e Beatriz não forem.
(32) Cláudia e Débora vão à festa, apesar de Alice e Beatriz não irem.
(33) Se Cláudia ou Beatriz forem à festa, então Alice vai à festa e Beatriz não vai.
(34) Cláudia e Beatriz vão à festa se e somente se Alice ou Débora forem.
(35) Se Débora for à festa, então Cláudia ou Alice irão, e se Débora não for, então
Alice e Beatriz irão.
P: Platão é um filósofo.
Q: Sócrates é um filósofo.
R: Sócrates é o mestre de Platão.
S: Platão é mais jovem que Sócrates.
(36) Platão não é um filósofo.
(37) Platão é um filósofo, mas Sócrates não é.
(38) Se Platão é um filósofo, então Sócrates também é.
(39) Platão é um filósofo, se Sócrates também é.
(40) Platão é um filósofo somente se ele é mais jovem do que Sócrates.
(41) Platão é um filósofo se e somente se Sócrates for o mestre de Platão.
(42) Nem Platão nem Sócrates são filósofos.
(43) Não é o caso que Platão ou Sócrates são filósofos.
(44) Ou Platão é um filósofo ou é mais jovem do que Sócrates.
(45) Platão não é mais jovem do que Sócrates, se Sócrates é o mestre de Platão.
(46) Se Sócrates e Platão são filósofos, então Sócrates é o mestre de Platão.
(47) Não é verdade que Platão seja mais jovem do que Sócrates, nem que Sócrates
seja o mestre de Platão.
(48) Platão não é um filósofo, mas é mais jovem do que Sócrates se Sócrates for seu
mestre.
(49) Sócrates não é o mestre de Platão se e somente se Platão não for mais jovem do
que Sócrates.
(50) Platão é ou não é um filósofo, se ele é mais jovem que Sócrates e Sócrates é seu
mestre