Question

Represente as proposições a seguir na forma simbólica:

a) Se Sócrates não é professor, então é palestrante ou filosofo.
b) As provas deste calendário serão objetivas e dissertativas.
c) Carlos não é padre ou teólogo.
d) Aristóteles é educador, se, e somente se, aplicar as suas teorias para formação de pessoas.
e) Se os homens são inteligentes e Pedro é homem, então Pedro é inteligente.

Answer 1

a)

Sócrates Professor (SP)

Sócrates Palestrante (SPL)

Sócrates Filosofo (SF)

~SP -> (SPL v SF)

b)

Provas Objetivas (PO)

Provas Dissertativas (PD)

PO ^ PD

c)  

Carlos Padre (CP)

Carlos Teólego (CT)

(~CP v CT)

d)

Aristóteles é educador

Aplicar as Teorias

AE <-> AT

e)  

Homens Inteligentes

Pedro Homem

Pedro Inteligente

HI^PH -> PI