Ipc paruelo
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 serelaciona 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 soncontradictorios |
| "Todos los q se relacionan con más 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 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 Xla o las opciones correctas:
| El sistema es consistente |
| El sistema es dependiente |
| El sistema es inconsistente |
| "Todos los q se relacionan con más de un p" es un teorema || 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 teoremadel sistema |
| E1 es negación 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: Algún p serelaciona 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 delsistema |
| El sistema es incompleto |
| E1 y E2 son contradictorios |
| “Algún p es q” una conclusión de un razonamiento deductivo cuyas premisas son A1 y A2 |
| “Todo p es q” es una...
Regístrate para leer el documento completo.