Prueba formal de validez de un razonamiento lógico.

Demostrar que las siguientes deducciones son validas por medio de una prueba formal de validez, mediante el empleo de las Reglas de Inferencias.(Debes escribir simbólicamente las proposiciones e indicar la regla de inferencia utilizada en cada paso)

1. Si el rector es ratificado en su puesto, entonces tuvo un gran desempeño. O es ratificado en su puesto o tendrá que trabajar en otro sitio y perderá su categoría. No ocurre que tenga que trabajar en otro puesto y pierda su categoría. Por lo tanto, tuvo un buen desempeño

2. El trabajo no fluye correctamente y los directivos están desconcertados. Si los directivos están desconcertados, entonces se solicita una auditoría. O se solicita una auditoría o el trabajo fluye correctamente. Los directivos no están desconcertados. Por lo tanto se solicita una auditoría