50 likes | 171 Vues
ALGORITMO. Samuel Â. Lopes. Exercícios. Traduza em linguagem simbólica as proposições: Não é verdade que Ana tem saúde e trabalha Pedro não tem saúde e trabalha Se Manuel tem saúde e trabalha, então ganha dinheiro Rui tem saúde e, se trabalha, então ganha dinheiro
E N D
ALGORITMO Samuel Â. Lopes
Exercícios Traduza em linguagem simbólica as proposições: • Não é verdade que Ana tem saúde e trabalha • Pedro não tem saúde e trabalha • Se Manuel tem saúde e trabalha, então ganha dinheiro • Rui tem saúde e, se trabalha, então ganha dinheiro • Paulo trabalha só se tem saúde.
Exercícios Resolvidos Traduza em linguagem simbólica • Não é verdade que Ana tem saúde e trabalha ~(p^q). • Pedro não tem saúde e trabalha ~p ^q. • Se Manuel tem saúde e trabalha, então ganha dinheiro p ^q ->r. • Rui tem saúde e, se trabalha, então ganha dinheiro p^(q->r). • Paulo trabalha se só tem saúde p <->q
Separando proposições Traduza em linguagem simbólica • p: Ana tem saúdeq: Trabalha • p: Pedro tem saúdeq: Trabalha • p: Manuel tem saúdeq: Trabalhar: Ganha Dinheiro • p: Rui tem saúdeq: Trabalhar: Ganha Dinheiro
Separando proposições • p: Paulo Trabalhaq: tem saúde