Na lógica proposicional, definem-se regras para determinar o valor-verdade (verdadeiro ou falso) de sentenças em relação a um modelo particular. Es...

Na lógica proposicional, definem-se regras para determinar o valor-verdade (verdadeiro ou falso) de sentenças em relação a um modelo particular. Essas regras permitem representar raciocínios lógicos comuns das linguagens naturais.
Nesse contexto, considere a sentença e as proposições lógicas a seguir.
Se Mariana está grávida, então a substância gonadotrofina coriônica está presente na urina de Mariana.
Destacando as proposições atômicas que compõem as premissas e a conclusão do argumento, temos:
p : Mariana está grávida.
q : A substância gonadotrofina coriônica está presente na urina de Mariana.
P1 = (pq)q →p
P2 = (p → q)vq
P3 = (p → q)q →p;
A sentença pode ser representada pela(s) expressão(ões) lógica(s):


P2, apenas.
P3, apenas
P1 e P2, apenas
P1 e P3, apenas
P1, P2 e P3