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

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: a. ⁓p ˅ (s ˄ r) P1 ⁓(q ˄ ⁓p) P2 r P3 ∴ q → r C b. p ˅ s → r P1 (q ˄ p) P2 ⁓s P3 ∴ q → r C c. ⁓p ˄ s ↔ r P1 (q ˄ ⁓p) P2 ⁓s P3 ∴ q → r C d. p ˄ s → r P1 ⁓(q ˄ ⁓p) P2 s P3 ∴ q → r C e. q ↔ s ˄ r P1 q → ⁓p P2 s P3 ∴ q → r C