| dbo:abstract
|
- La forma lògica d'una proposició és la representació del seu contingut i sintaxi usant les eines de la lògica, en particular el simbolisme del càlcul proposicional i el càlcul de predicats. Oracions diferents poden ser representacions de la mateixa proposició, per exemple:
* Maria estima Joan
* Joan és estimat per Maria Aquestes dues oracions, encara que gràfica o fonèticament són diferents, expressen la mateixa proposició i tenen la mateixa forma lògica. Aquesta manera lògica pot ser representada unívocament a través d'un llenguatge formal, a diferència del que passa amb un llenguatge natural. (ca)
- La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del cálculo proposicional y el cálculo de predicados. Oraciones distintas pueden ser representaciones de la misma proposición, por ejemplo: Abelardo ama a EloísaEloísa es amada por Abelardo Estas dos oraciones, aunque gráfica o fonéticamente son distintas, expresan la misma proposición y tienen la misma forma lógica. Dicha forma lógica se puede representar unívocamente mediante un lenguaje formal, a diferencia de lo que ocurre con un lenguaje natural. En este caso, la forma lógica sería , mientras que expresa una proposición diferente, a saber, que Eloísa ama a Abelardo. (es)
- In logic, logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language. The logical form of an argument is called the argument form of the argument. (en)
- A forma lógica, forma de um argumento, ou simplesmente forma, é a representação de suas sentenças usando a gramática formal e o simbolismo de um sistema lógico para mostrar sua semelhança com todos outros argumentos do mesmo tipo. Encontrar a forma lógica de uma sentença consiste basicamente em tirar todo o conteúdo desnecessário da oração (como gênero e forma passiva) e substituir todas as expressões especificas do assunto do argumento por variáveis esquemáticas, fazendo assim uma conversão da expressão escrita em português, ou em outra língua, para a linguagem da lógica. Desta forma, por exemplo, a expressão "todo A é B" mostra a forma lógica comum às sentenças "todo humano é mortal", "todo gato é carnívoro", "todo grego é filosofo", etc. (pt)
|
| rdfs:comment
|
- La forma lògica d'una proposició és la representació del seu contingut i sintaxi usant les eines de la lògica, en particular el simbolisme del càlcul proposicional i el càlcul de predicats. Oracions diferents poden ser representacions de la mateixa proposició, per exemple:
* Maria estima Joan
* Joan és estimat per Maria (ca)
- In logic, logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language. (en)
- La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del cálculo proposicional y el cálculo de predicados. Oraciones distintas pueden ser representaciones de la misma proposición, por ejemplo: Abelardo ama a EloísaEloísa es amada por Abelardo (es)
- A forma lógica, forma de um argumento, ou simplesmente forma, é a representação de suas sentenças usando a gramática formal e o simbolismo de um sistema lógico para mostrar sua semelhança com todos outros argumentos do mesmo tipo. (pt)
|
