Question

Considerando a demonstração da validade de r a partir de p→ q, p v r, ~q que seria demonstrar a validade deste argumento: p →q, p v r, ~q Ⱶ r . Assinale a alternativa com a demonstração CORRETA:

a.
Têm-se as premissas:
C1: p →q
C2: p v r
C3: ~q
C4: r
Deduz-se:
C5: ~p v q (C1: equivalência da condicional com uma disjunção)
C6: ~p (C3 + C5: silogismo disjuntivo)
C7: r (C2 + C6: silogismo conjuntivo)
Demonstra-se, assim, a validade de r a partir das três premissas dadas.









b.
Têm-se as premissas:
C1: p →q
C2: p v r
C3: ~q
Deduz-se:
C4: ~p v q (C1: equivalência da bicondicional com uma conjunção)
C5: ~p (C3 + C4: silogismo conjuntivo)
C6: r (C2 + C5: silogismo disjuntivo)
Demonstra-se, assim, a validade de r a partir das três premissas dadas.








c.
Têm-se as premissas:
C1: p →q
C2: p v r
C3: ~q
Deduz-se:
C4: ~p v q (C1: equivalência da condicional com uma disjunção)
C5: ~p (C3 + C4: silogismo disjuntivo)
C6: p (C2 + C5: silogismo disjuntivo)
Demonstra-se, assim, a validade do argumento a partir das três premissas dadas.








d.
Têm-se as premissas:
C1: p →q
C2: p v r
C3: ~q
Deduz-se:
C4: ~p v q (C1: equivalência da condicional com uma disjunção)
C5: ~p (C3 + C4: silogismo disjuntivo)
C6: r (C2 + C5: silogismo disjuntivo)
Demonstra-se, assim, a validade de r a partir das três premissas dadas.








e.
Têm-se as premissas:
C1: p →q
C2: p v ~r
C3: q
Deduz-se:
C4: ~p v q (C1: equivalência da condicional com uma disjunção)
C5: p (C3 + C4: silogismo disjuntivo)
C6: r (C2 + C5: silogismo disjuntivo)
Demonstra-se, assim, a validade de r a partir das três premissas dadas

Answer 1

Resposta:

Têm-se as premissas:

C1: p →q

C2: p v r

C3: ~q

Deduz-se:

C4: ~p v q (C1: equivalência da condicional com uma disjunção)

C5: ~p (C3 + C4: silogismo disjuntivo)

C6: r (C2 + C5: silogismo disjuntivo)

Demonstra-se, assim, a validade de r a partir das três premissas dadas.

Explicação:

D