Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: anailuig en 26 Abril, 2014, 06:59 am

Título: Ayuda con esto, lenguaje natural a fbf
Publicado por: anailuig 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
Título: Re: Ayuda con esto, lenguaje natural a fbf
Publicado por: Carlos Ivorra en 26 Abril, 2014, 12:53 pm
Yo diría

\( \lnot( s\lor t)\rightarrow (p\rightarrow (\lnot q\land r)) \)

Entiendo que la frase, lógicamente ordenada sería:

Cuando no rio o (= y no) comparto, entonces, si canto, no digo y sí tejo.