Ejercicios sistemas axiomticos

1 - Dado el sistema cuyos axiomas son

A1: Todos los q se relacionan con un nmero 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
El sistema es dependiente
El sistema es inconsistente pues el axioma 3 y el axioma 1 son contradictorios
"Todos los q se relacionan con ms de un p" es un teorema
"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 nmero 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:

El sistema es consistente
El sistema es dependiente
El sistema es inconsistente
"Todos los q se relacionan con ms de un p" es un teorema
El sistema admite modelo fctico

3 - Dado el sistema cuyos axiomas son:

A1: Todo x se relaciona con 2 o ms 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: Algn x no se relaciona con 3 y, es teorema del sistema
E1 es negacin de E2
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: Algn 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: algn p no es q, es teorema del sistema
El sistema es incompleto
E1 y E2 son contradictorios
Algn p es q una conclusin de un razonamiento deductivo cuyas premisas son A1 y A2
Todo p es q es una conclusin de un razonamiento deductivo cuyas premisas son los axiomas del sistema
Algn p es q es un teorema del sistema.

5 - Dado el sistema cuyos axiomas son:

A1: Todo r cumple con la condicin p.
A2: Todo s es r

Marcar con una X la o las opciones correctas:

Todos los s cumplen con la condicin p, es un teorema del sistema.

Existe un s que cumple con la condicin p, es un teorema del sistema.
Todos los s cumplen con la condicin p es la conclusin de un razonamiento vlido cuyas premisas son A1 y
A2
Existe un s que cumple con la condicin p es la conclusin de un razonamiento vlido cuyas premisas son
A1 y A2
Ningn s cumple con la condicin p es teorema del sistema
Todos los s cumplen con la condicin p puede ser falso en el sistema
El sistema es incompleto
El sistema admite un modelo
El sistema est interpretado
El sistema es inconsistente.
El sistema es independiente.

Equipo participante en el desarrollo: Liliana Occhiuzzi