Ipc paruelo

Solo disponible en BuenasTareas
  • Páginas : 4 (995 palabras )
  • Descarga(s) : 0
  • Publicado : 23 de agosto de 2012
Leer documento completo
Vista previa del texto
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 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...
tracking img