Regles básicas de inferencia

1) Si una premisa es una condicional y otra es la negación de su antecedente , podríamos obtener alguna conclusión por qué?

2) Un problema de inferencia consta de dos premisas una de ellas es : ¬( p ^ q ) -> ¬.r

Se nos pide demostrar que.

? Cual seria la premisa que falta y a partir de ella que pasos tendríamos que dar ?

3) Si p es una premisa y [(a->b ) v c] es el antecedente de ¬p. Que podríamos obtener?

4) Dadas las premisas ( a ^ b) y ( a v c ) ->d De que forma podríamos concluir con d?