| Property |
Value |
| dbo:abstract
|
- Die moderne symbolische Logik verwendet statt der natürlichen Sprache eine künstliche Sprache (Ein Satz wie Der Apfel ist rot wird z. B. in der Prädikatenlogik als f(a) formalisiert, wobei a für Der Apfel und f für ist rot steht) und verwendet streng definierte Schlussregeln. Ein einfaches Beispiel für ein solches formales System ist die Aussagenlogik (dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt). Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn. (de)
- Die moderne symbolische Logik verwendet statt der natürlichen Sprache eine künstliche Sprache (Ein Satz wie Der Apfel ist rot wird z. B. in der Prädikatenlogik als f(a) formalisiert, wobei a für Der Apfel und f für ist rot steht) und verwendet streng definierte Schlussregeln. Ein einfaches Beispiel für ein solches formales System ist die Aussagenlogik (dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt). Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn. (de)
|
| dbo:author
| |
| dbo:individualisedGnd
| |
| dbo:isbn
| |
| dbo:originalTitle
|
- Einführung in die Mathematische Logik (de)
- Einführung in die Mathematische Logik (de)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| prop-de:auflage
| |
| prop-de:datei
| |
| prop-de:datum
| |
| prop-de:exzellent
| |
| prop-de:größe
| |
| prop-de:jahr
| |
| prop-de:list
|
- PLHwUrKo7SDpTIMNb6uHZzscAhO3_v8F5d
|
| prop-de:länge
| |
| prop-de:online
| |
| prop-de:ort
| |
| prop-de:title
| |
| prop-de:typ
| |
| prop-de:version
| |
| dc:publisher
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Die moderne symbolische Logik verwendet statt der natürlichen Sprache eine künstliche Sprache (Ein Satz wie Der Apfel ist rot wird z. B. in der Prädikatenlogik als f(a) formalisiert, wobei a für Der Apfel und f für ist rot steht) und verwendet streng definierte Schlussregeln. Ein einfaches Beispiel für ein solches formales System ist die Aussagenlogik (dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt). Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn. (de)
- Die moderne symbolische Logik verwendet statt der natürlichen Sprache eine künstliche Sprache (Ein Satz wie Der Apfel ist rot wird z. B. in der Prädikatenlogik als f(a) formalisiert, wobei a für Der Apfel und f für ist rot steht) und verwendet streng definierte Schlussregeln. Ein einfaches Beispiel für ein solches formales System ist die Aussagenlogik (dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt). Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn. (de)
|
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
