m argumento da lógica proposicional é formado por premissas (P1, P2.... P) e uma concorsan . dam argumento é considerado válido quando posicionale ...

m argumento da lógica proposicional é formado por premissas (P1, P2.... P) e uma concorsan . dam argumento é considerado válido quando posicionale formado por urea tautologia, ou seja, quando acco siu usados premissas implica a conclusão. Alguns argumentos fundamentais, conhecidos como Regras de Inferência ion usados correntem implica a concuro, Alciona para fazer a cudos, sela o seguecidos sumo to da lógica proposicional: P1: Se Rosa vai ao mercado, então João faz o jantar. P2: Se João faz o jantar, então Ana vai para casa. Q: Logo, se Rosa vai ao mercado, então Ana vai para casa. Assinale a alternativa que apresenta o nome desse argumento.