algebra

Nombre : Gabriel Cova C.I.: 22.653.613
ACTIVIDAD INDIVIDUAL
1) Simbolizar las premisas con letras mayúsculas, así como la conclusión dada.
2) Demostrar que las conclusiones son consecuenciade las premisas que aparecen en el ejercicio.
3) Dar una demostración completa, teniendo en cuenta las reglas de inferencia presentadas en las exposiciones.

Ejercicio:

El director de unaempresa es el encargado de una gran cantidad de labores importantes.
Si es así, entonces ser director es un cargo difícil de manejar. Algunas personas dicen que, o los directores son personas de los quesolo dedican a contratar y despedir empleados. Pero si ellos sólo se dedican a contratar y despedir personal, entonces ser director de una empresa no es un cargo difícil de manejar. Además, si ladirección de una empresa no es un cargo que solo quienes se han preparado para ello lo merecen, entonces sería falso que algunas personas digan que los directores son personas de las que depende laempresa, y que el director es el encargado de una gran cantidad de labores importantes. Por lo tanto, la dirección de una empresa es un cargo que sólo lo que se han preparado para ello, lo merecen.Variables:

P  El director de una empresa es el encargado de una gran cantidad de labores importantes.
Q  Ser director es cargo difícil de manejar.
R Los directores son personas de los quedepende la empresa.
S Sólo se dedican a controlar y despedir empleados.
T La dirección de una empresa es un cargo que sólo lo que se han preparado para ello, lo merecen.

Premisas:

1) P  Q2) (R V S) ∩ (S  ┐Q)
3) ┐ [ T  (R ∩ P)]  T

Explicación:
Premisa #1:
P  Q
A esta premisa se aplica la regla de inferencia “Modus Ponendo Ponens” (MPP) por lo siguiente:

Premisa #2:(R V S ) ∩ ( S  ┐Q)
En esta premisa se aplicó dos reglas de inferencia, “Modus Tollendo Ponens” y “Silogismo Disyuntivo”, ya que se trató a la premisa en dos partes.

R V S...