About: Logical form     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:PsychologicalFeature100023100, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/c/pvn6za12S

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.

AttributesValues
rdf:type
rdfs:label
  • Forma lògica (ca)
  • Forma lógica (es)
  • Logical form (en)
  • Forma lógica (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)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Modus_ponens_logical_form.jpg
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
Faceted Search & Find service v1.17_git147 as of Sep 06 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 64 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software