O método da suposição estabelecido por Stanislaw Lesniewski (1886-1939), um filósofo e matemático polonês, foi transformado em técnica pelo lógico polonês Stanisław Jaśkowski e aperfeiçoado por Jacques Herbrand (1930) e Alfred Tarski (1936) dando origem ao Teorema da Dedução.
HEGENBERG, L. Dicionário de Lógica. São Paulo: EPU, 1995 (adaptado).
Sendo assim, considere as seguintes proposições:
p ˄ s → r; ⁓ (q ˄ ⁓p); s ; q → r
Organize na forma do argumento e assinale a alternativa correta:
Escolha uma opção:
