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


2º Parcial H |  Pensamiento Científico (Cátedra: Paruelo - 2017)  |  CBC  |  UBA

Ejercicios sistemas axiomáticos

1 - Dado el sistema cuyos axiomas son

          A1: Todos los q se relacionan con un número par de p
          A2: Todos los q se relacionan con menos de 5 p
          A3: Existe un q que se relaciona con 3 p

Marcar con una X la o las opciones correctas:

 

El sistema es consistente 

X

El sistema es dependiente

X

El sistema es inconsistente pues el axioma 3 y el axioma 1 son contradictorios

X

"Todos los q se relacionan con más de un p" es un teorema

X

"Todos los q se realacionan con un p" es un teorema


2 - Dado el sistema cuyos axiomas son:

           A1: Todos los q se relacionan con un número par de p
           A2: Todos los q se relacionan con menos de 5 p
           A3: Todos los q se relacionan con al menos 2 p
          
Marcar con una X la o las opciones correctas:

X

El sistema es consistente 

X

El sistema es dependiente 

 

El sistema es inconsistente 

X

"Todos los q se relacionan con más de un p" es un teorema

X

El sistema admite modelo fáctico

3 - Dado el sistema cuyos axiomas son:

A1: Todo x se relaciona con 2 o más Y.

A2: Existe un x que se relaciona con 3 y

     
Marcar con una X la o las opciones correctas:

 

El enunciado E1: “Todo x se relaciona con 3 y” , es teorema del sistema.

 

El sistema es dependiente 

 

El enunciado E2: “ Algún x no se relaciona con 3 y”, es teorema del sistema 

X

E1 es negación de E2

X

El sistema es consistente, pero incompleto.

 

4 - Dado el sistema cuyos axiomas son:

A1: Todo p que se relaciona con un r es q.

A2: Algún p se relaciona con un r

          
Marcar con una X la o las opciones correctas:

 

El enunciado E1: “todo p es q”, es teorema del sistema. 

 

El enunciado E2: “algún p no es q”, es teorema del sistema 

X

El sistema es incompleto 

X

E1 y E2 son contradictorios

 X

“Algún p es q” una conclusión de un razonamiento deductivo cuyas premisas son A1 y A2

 

“Todo p es q” es una conclusión de un razonamiento deductivo cuyas premisas son los axiomas del sistema

X

“Algún p es q” es un teorema del sistema. 

 

5 - Dado el sistema cuyos axiomas son:

A1: Todo r cumple con la condición p.

A2: Todo s es r

          
Marcar con una X la o las opciones correctas:

X

“Todos los s cumplen con la condición p”, es un teorema del sistema. 

 

“Existe un s que cumple con la condición p”, es un teorema del sistema. 

X

“Todos los s cumplen con la condición p” es la conclusión de un razonamiento válido cuyas premisas son A1 y A2 

 

“Existe un s que cumple con la condición p” es la conclusión de un razonamiento válido cuyas premisas son A1 y A2 

 

“Ningún s cumple con la condición p” es teorema del sistema

 

“Todos los s cumplen con la condición p” puede ser falso en el sistema

 X

El sistema es incompleto

 X

El sistema admite un modelo

 

El sistema está interpretado

 

El sistema es inconsistente.

X

El sistema es independiente. 

Equipo participante en el desarrollo: Liliana Occhiuzzi 


 

Preguntas y Respuestas entre Usuarios: