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