Altillo.com > Exámenes > UBA - CBC > Pensamiento Científico

I- Dados los siguientes ejemplos: Trabajar lógica proposicional, tener en cuenta las consignas para trabajar lógica del predicado.
a - Identificar aquellos que sean proposiciones, simbolizarlas y clasificarlas. Y elegir dos proposiciones para cuantificar lógica de predicados.
b - Identificar los ejemplos que considere que sean razonamientos. Y elegir dos razonamientos para trabajar lógica de predicados.
c - Señale: Tipos de razonamiento y fundaméntelas.
d - En los razonamientos que considere adecuado aplicar el MCA, para demostrar la validez de los mismos.

1- No se necesitan leyes para impedir la maldad, cada hombre sabe, que no debe cometer maldades.
2- Cuando el partido A gana, se hacen cumplir las leyes y los sueldos se mantienen. No es verdad, que se hagan cumplir las leyes y los sueldos se mantengan. Luego no ha ganado el partido A.
3- Un razonamiento es deductivo o no deductivo. Si es deductivo cumple con el criterio de necesidad. Por lo tanto, si es no deductivo posiblemente no cumpla con el criterio de necesidad.
4- González trabaja o estudia, pero no hace ambas cosas. Pero si trabaja, ganaría dinero. Luego si estudia, ganaría dinero pero a largo plazo.
5- Algunos incidentes comenzaron cuando llego la policía. Todos los manifestantes fueron ferozmente agredidos por la policía. Algunos manifestantes fueron agredidos y otros sufrieron graves incidentes.
6- La investigación científica debe ser obligatoria en todas las Universidades.
7- Si una figura es un rectángulo, tiene cuatro lados y sus lados paralelos son iguales.
8- Las ciencias se clasifican en fácticas y formales. Ni la ciencia fáctica ni la ciencia formal, se relacionan con la filosofía.
9- Los planetas giran alrededor del sol. La Tierra es un planeta, Marte es un planeta y Mercurio y Venus también. La Tierra, Marte, Mercurio y Venus giran alrededor del Sol.
10- Una proposición es verdadera o falsa. O es verdadera o es falsa, si solo informan algo.

II- Demostrar Validez, mediante el MCA
-(P.(QWR))              [(P>Q)=R] 
    (-QVR)                    (PVR)
-----------                ------------
      (P.Q)                      (Q.P)