Results 1 to 4 of 4

Thread: axioma de un programa

  1. #1
    Join Date
    Jan 2008
    Native language
    England English
    Posts
    121

    axioma de un programa

    Hi All,

    Can anybody give me some ideas for the following sentence in english.

    Here's the origina Spanish:

    En programación lógica, no puede preguntarse si un axioma de un programa es verdad bajo alguna interpretación de los símbolos del programa y si ciertas declaraciones lógicas son consecuencia del programa.

    My attempt so far is:

    In logic programming, it can/may be asked whether a program axiom is true according to any interpretation of the program symbols and if certain logical declaration are a consequence of the program.

    Thanks in advance for any ideas/suggestions



  2. #2
    Join Date
    Mar 2007
    Location
    Madrid
    Native language
    spain, Spanish
    Posts
    2,276

    Re: axioma de un programa

    In logic programming, the validity of a program axiom cannot be checked on the base of any interpretation of the program symbols and it cannot be asked whether certain logical declarations are consequences of the program.

  3. #3
    Join Date
    Jan 2008
    Native language
    England English
    Posts
    121

    Re: axioma de un programa

    Hi Phantom,

    thanks very much for your reply it sounds very good.

    I should point out for future reference that I made an error in the original sentence and it should read:

    uno puede preguntarse si un axioma de un programa es verdad bajo alguna interpretación de los símbolos del programa y si ciertas declaraciones lógicas son consecuencia del programa.

  4. #4
    Join Date
    Mar 2007
    Location
    Madrid
    Native language
    spain, Spanish
    Posts
    2,276

    Re: axioma de un programa

    the meaning is the opposite now. Have to reformulate the translation.I come back layer, too busy right now.

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •