Ensino Superior ⇒ Dedução Natural

[irwingato]

Usar a regra da "expansão" para verificar que são válidos os seguintes argumentos:
TEM COMO UTILIZAR O PASSO A PASSO COM OS NOMES SEM ABREVIAÇÃO POR FAVOR?
1)p v q , p → r, ~ r ⊢ q v s
2)p ^ ~~q, r → ~q, ~ r → s⊢ s v ~ p
3)~p, q→p, ~q v r → s ⊢ s
4)p ^ q → s, r , r → p ^ q ⊢ s v q
5)p ^ ~ q, r→q, r v s, p v s → t ⊢ t