Autor Tema: Lógica: Términos y Fórmulas

0 Usuarios y 1 Visitante están viendo este tema.

13 Octubre, 2006, 08:25 pm
Leído 1596 veces

Estudiante13

  • Nuevo Usuario
  • Mensajes: 7
  • Karma: +0/-0
Hola a todos!
Necesito la demostración de que si m:a1a2.....an es un término (o una fórmula), entonces a1a2....aj con j<n no es un término (o una fórmula); tengo la idea pero no sé si está bien del todo.
También quiero demostrar que cualquier fórmula es tautológicamente equivalente a una disyunción de conjunciones de fórmulas básicas o negaciones de básicas, se me ocurre hacerlo con un algoritmo para construir fórmulas equivalentes, pero no sé si será válido.
Si alguien puede ayudarme,lo agradecería.

Un saludo