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: 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. 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. 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. 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. 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.