mmkjamison15 mmkjamison15 26-02-2024 Mathematics contestada Complete the formal proof of ((~QvP)vRJv(SvT) from ~~~~~Q. Note: ~Elim only allows you to drop 2 negations at a time:1. ~~~~~Q Premise2. ~~~Q ~Elim3. ~Q ~Elim4. ~QvP addition5. (~QvP)vP addition6. (~QvP)vRJv(SvT) addition