Forum:  Prädikatenlogik
Thema: Logik: Translation von Aussagen- zu Prädikatenlogik
Themen-Übersicht
kingvinst
Neu
Dabei seit: 22.03.2020
Mitteilungen: 3
Aus:
Themenstart: 2020-03-22 17:40

Ich hoffe, ich bin in diesem Forum richtig.

Hallo, ich brauche hilfe bei einer Aufgabe. Ich weiß zwar, was aussagen- und prädikatenlogik sind, aber ich komm nicht weiter. Hoffe mir kann wer helfen.

Give a translation from propositional logic into first-order logic that is natural in the sense that properties carry over, e.g. that a formula issatisfiable/valid/a contradiction iff so is its translation.

Übersetzt (in etwa):

Gib eine Translation von der Aussagenlogik zur Prädikatenlogik (first order logic), welche natürlich ist, d.h. bei welcher die Eigenschaften übernommen werden.

Danke schonmal im Vorraus




Dieses Forumbeitrag kommt von Matroids Matheplanet
https://https://matheplanet.de

Die URL für dieses Forum-Thema ist:
https://https://matheplanet.de/default3.html?topic=246356=1721
Druckdatum: 2020-07-05 09:48