Matemática discreta, como utilizo a partícula "Se..., então.... se não, ...."
(a) Apresente uma legenda e simbolize o enunciado: se faz sol, entao se eu vou
a praia, entao eu uso protetor, se não se eu vou ao cinema, entao eu como pipoca,usando "Se então, se não"
(b) Apresente uma legenda e simbolize o enunciado: Se 2 e impar, entao 4 e
impar, se não: se 4 e impar, entao 2 e impar, se nao 2 e par, usando o conectivo
se então se não. E determine se ele e V ou F.
(c) Defina uma tabela de avaliacao para o conectivo " #. Observe que esta
tabela deve ter 3 variaveis | ', e |, 4 colunas e 8 interpretacoes.
(d) Mostre que podemos usar os conectivos :, ^, _, !, $ para representar o
conectivo " #. Isto e, determine um enunciado envolvendo 3 variaveis | ',
e |, e no máximo os conectivos :, ^, _, !, $, que possua uma tabela
com a mesma ultima coluna que a tabela que você definiu em (c).
Soluções para a tarefa
Opção (a):
Enunciado: Se faz sol, então se eu vou à praia, então eu uso protetor, se não se eu vou ao cinema, então eu como pipoca.
Legenda:
p : faz sol
q : eu vou à praia
r : eu uso protetor
s : eu vou ao cinema
t : eu como pipoca
Simbolização:
p → ( q ↑ r ) ↓ s → t
Opção (b):
Enunciado: Se 2 é ímpar, então 4 é ímpar, se não: se 4 é ímpar, então 2 é ímpar, se não 2 é par.
Legenda:
p : 2 é ímpar
q : 4 é ímpar
r : 2 é par
Simbolização:
( p ↑ q ) ↓ ( q ↑ p ↓ r )
Observação: Também estou realizando essa tarefa no Cederj em MD e não entendi a proposta dessa atividade. Essas foram as únicas opções que eu consegui resolver na Q3-AD1, e não sei se está correta (principalmente os parênteses na simbolização); então peço que verifique se os parênteses estão no lugar correto. As outras opções ainda não consegui realizar, mas se eu conseguir eu mando por aqui mesmo. E a opção (b) ainda falta dizer se é verdadeiro ou falso, que eu ainda não descobri como fazer.
Boa sorte para nós duas! <3