Premises:

$PQ$

notQvvR

Conclusion: notPvv$(Q^{{?}^{?}}R)$

$\backslash$table$[[$P$,$Q$,$R$,$P$->$Q$,$notQ,notQvvR,notP,Q$^^$R$,\backslash$table$[[$notPvv$],[($Q$^^$R$)]]],[$T$,$T$,$T$,$T$,$F$,$T$,$F$,$T$,$T$],[$T$,$T$,$F$,$T$,$F$,$F$,$F$,$F$,$F$],[$T$,$F$,$T$,$F$,$T$,$T$,$F$,$F$,$F$],[$T$,$F$,$F$,$F$,$T$,$T$,$F$,$F$,$F$],[$F$,$T$,$T$,$T$,$F$,$T$,$T$,$T$,$T$],[$F$,$T$,$F$,$T$,$F$,$F$,$T$,$F$,$T$],[$F$,$F$,$T$,$T$,$T$,$T$,$T$,$F$,$T$],[$F$,$F$,$F$,$T$,$T$,$T$,$T$,$F$,$T$]]$

The proposal is valid because the conclusion is true every time the premises are true.

This can be seen in rows $1,5,7,$ and $8.$

Do you agree or disagree?