↔         →¬¿∨¿

Grupo I
1. Seleccione a alternativa correcta de entre as opções apresentadas

1.1.2 questoes determinismo

1.2.Avalie as seguintes afirmações

(1) A negação de uma contradição é uma tautologia, assim como a

negação de uma tautologia é uma contradição.
(2) A negação da contingência é uma contradição.
(3) Por contraposição podemos inferir de “Se todos os estudantes
são brincalhões, alguns brincalhões são alunos” que “Se nenhum
brincalhão é aluno, alguns estudantes não são brincalhões”.
(4) Argumenta-se com validade quando da premissa “Todos os cães
são mamíferos” se infere “Alguns mamíferos são cães”

A – Todas as afirmações são verdadeiras.

B – Todas as afirmações são verdadeiras, à excepção da afirmação (2).
C - (1) e (2) são verdadeiras; (3) e (4) são falsas.
D – (1), (2) e (3) são verdadeiras; (4) são falsas.

2 do determinismo/acção

1.1.Avalie cada um dos argumentos

(1) Só se tivermos liberdade, podemos ser responsabilizados. Temos
liberdade. Logo podemos ser responsabilizados.
(2) Se pudermos escolher, existe livre-arbítrio. Escolhemos. Logo,
temos livre-arbítrio.
(3) Se há liberdade, somos responsabilizados. Não há liberdade.
Logo não somos responsabilizados.
(4) Somos responsabilizados, se tivermos de escolher. Não temos de
escolher. Logo não somos responsabilizados.

A – (1) falácia da afirmação da consequente; (2) Modus ponens (3)

falácia da negação da antecedente (4) Modus Tollens.
B - (1) e (2) Modus ponens; (3) falácia da negação da antecedente; (4)
Modus Tollens.
C - (1) e (2) Modus ponens (3) e (4) Modus Tollens.
D – (1) falácia da afirmação da consequente; (2) Modus ponens (3) e (4)
falácia da negação da antecedente.
Grupo II

Grupo III

1. Atenda nas seguintes frases:

  Se o João estiver deitado, não vai à Escola.
 A Teresa vai à dança ou à Escola.
 A Rute passa o ano, a não ser que tenha de ausentar-se da
Escola.
 Não é verdade que a Rute passa o ano e a Teresa vai à dança.

1.1.Apresente a forma lógica de cada uma delas, indicando o dicionário

adoptado. (10 pontos)

1.2.Em que circunstâncias a proposição “Se o João estiver deitado, não

vai à Escola” é Falsa? (5 pontos)

1.3.Admitindo que a proposição “Não é verdade que a Rute passa o ano

e a Teresa vai à dança” é Falsa, refira, justificando, se é possível
saber o valor lógico da proposição “A Teresa vai à dança ou à
Escola”? (10 pontos)

2. Responda às seguintes questões, justificando

2.1.Dadas as premissas
¬¿ (A ¿ B) e B, poder-se-á inferir com validade ¬¿
A? (10 pontos)

2.2.Dadas as premissas
¬¿ C → (A
→ B), ¬¿ (A → B), poderemos inferir C?
(10 pontos)

2.3.Dada a premissa ( (A B))

¬¿ ¿ → ( ¬¿ C ¿ D), poder-se-á inferir (C ¿ ¬¿ D)
¿ → (A ¿ B)? (10
pontos)

3. Pronuncie-se sobre o valor verdade de cada uma das proposições

3.1.Tomando P é verdeiro e Q é falso

a) (P ¿  Q)  ∧¿ R (5 pontos) Depende do valor de R
¿
b) ((Q
→ → P) ¿ P
R) (5 pontos) V
c) ((P ↔ Q)
¿ (Q →  R)) ¿  P (5 pontos) V

1.1.Sabendo que P
→ Q é falso
a)
¬¿ (P ¿  Q) ¿ (P ¿  Q) (5 pontos) F
b) ((P  ∨¿ R) P) (Q P) (R P) (5 pontos) V
¿ → ¿ → ¿ →
c)
¬¿ (P ¿  Q) ¿ ( ¬¿ P ¿¬  Q) (5 pontos) F
1. Teste a validade das seguintes formas argumentativas, recorrendo a
tabelas de verdade
 1.1.R
→ S ∴ ¬¿ R ¿ S (10 pontos) inválido

1.2.R ¿( S ¿ T )∴ (R S) ¿T (10 pontos) válido

¿
1.3.R ↔¬¿ S ∴¬¿ R ↔S (10 pontos) válido
¿ ¿
↔       →¬¿∨ ∴

2. Pronuncie-se sobre a validade dos seguintes argumentos, justificando.

2.1.Não é verdade que o mundo é real e que tudo é uma ilusão. O

mundo não é real. Logo, não é verdade que tudo seja uma ilusão.
(15 pontos)
¬( P ∧Q ) , ¬P ∴ ¬¿ Q inválido
¿

2.2.É falso que a vida faz sentido se, e só se, Deus existe. A vida faz
sentido. Logo, Deus não existe. (15 pontos)
¬( P ↔Q ) , P∴ ¬Q VÁLIDO

2.3.Não se pode definir a arte nem se pode definir o conhecimento.

Logo, não é verdade que se pode definir a arte e se pode definir o
conhecimento. (15 pontos)

¬P∧¬Q∴ ¬( P∧Q) VÁLIDO