Mostrar Mensajes

Esta sección te permite ver todos los posts escritos por este usuario. Ten en cuenta que sólo puedes ver los posts escritos en zonas a las que tienes acceso en este momento.

Temas - anailuig

Páginas: [1]
1
Lógica / Ayuda con esto, lenguaje natural a fbf
« en: 26 Abril, 2014, 06:59 am »
Disculpen la molestia pero tengo esta oracion "si canto, no digo, mas tejo; no cuando no rio o comparto", necesito convertirla en fbf.
He intentado hacerlo asi:
Vocabulario:
p: canto
q: digo
r: tejo
s: rio
t: comparto
 ~((p\rightarrow{~q}) ˄ r) \rightarrow{ (~s ˅ t)}
pero tengo muchas dudas. Agradeceria mucho si pudieran ayudarme

2
Hola, quisiera saber si todas las implicaciones notables son tautológicas y cómo compruebo esto. Por ejemplo en el caso del "dilema constructivo compuesto". Agradecería mucho sus respuestas :)

Páginas: [1]