Ejercicios Sistemas Axiomaticos
Páginas: 3 (529 palabras)
Publicado: 10 de julio de 2014
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 elaxioma 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 unteorema
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 lasopciones 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 esincompleto
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...
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 elaxioma 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 unteorema
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 lasopciones 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 esincompleto
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...
Leer documento completo
Regístrate para leer el documento completo.