1. Coloca as seguintes proposições na sua forma canónica (Todos, Nenhum, Alguns, Alguns..não), indica o seu tipo (A, E, I, O) e escreve a sua negação.
1.1. Há quem goste de sardinhas.
1.2. Muita gente quer voltar ao confinamento.
1.3. Nem todos querem usar máscara.
2. Traduz as seguintes proposições para linguagem formal, indicando o dicionário utilizado.
2.1. Se tudo corre bem então não há necessidade de voltar para confinamento.
2.2. Se tens boa nota a lógica então és bom a filosofia e a matemática.
2.3. Como bolo e gelado se e só se comer a sopa toda.
3. Elabora a tabela de verdade das seguintes proposições.
3.1. P ➡️ (Q V R)
3.2. P ↔️(~Q)
3.3. (P ⊻ Q) Λ R
4. Verifica se os seguintes argumentos são válidos ou inválidos.
4.1. P ➡️Q; P; ∴Q
4.1. P ➡️ Q; ~Q; ∴P
4.3. P ➡️ Q; Q; ∴P
Nenhum comentário:
Postar um comentário