27/01/2020, 04:16:08 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Lógica: Términos y Fórmulas  (Leído 1496 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Estudiante13
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Mensajes: 7


Ver Perfil
« : 13/10/2006, 15:25:30 pm »

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
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!