Questão 1: Um argumento da lógica proposicional é formado por premissas (P1, P2, ... , Pn) e uma conclusão (Q). Um argumento é considerado válido q...

Questão 1: Um argumento da lógica proposicional é formado por premissas (P1, P2, ... , Pn) e uma conclusão (Q). Um argumento é considerado válido quando P1 ∧ P2 ∧... ∧ Pn → Q é uma tautologia, ou seja, quando a conjunção das premissas implica a conclusão. Alguns argumentos fundamentais, conhecidos como Regras de Inferência, são usados correntemente em lógica proposicional para fazer deduções. Seja o seguinte argumento da lógica proposicional: P1: Se Rosa vai ao mercado, então João faz o jantar. P2: João não fez o jantar. Q: Logo, Rosa não foi ao mercado. Assinale a alternativa que apresenta o nome desse argumento. DADOS - Regras de in erência (no formato P1, P2, Pn 1- Q) União a, b - a A b Modus Ponens a — b, a i- b Modus Tokens a—b, ~b i- ~a Adição a - a v b Simplificação aAb - o ou a A b F b Silogismo Hipotético a — b, h —* c - cr — c Silogismo Disjuntivo ciVb.^akb ou avb,cb - a Dilema Construtivo a—b, c d, a v c - bv d Dilema Destrutivo a — b c — d, ^bv I- t Regra da Absorção a — b 1- cr — (a A b)A) Modus Ponens B) Modus Tollens C) Dilema Construtivo D) Dilema Destrutivo E) Silogismo Hipotético