Wie liest man P in Q in der klassischen Logik?
Beispiel:
%Vor% Dies ist modale Logik, die klassische Logikregeln verwendet.
KaX: a weiß, dass X wahr ist.
Ich bin neugierig, wie man die Implikation auf Englisch liest? wenn dann noch?
Bearbeiten: In der Modallogik wird Ka Box, nun ist es ein Kastensymbol, das die Notwendigkeitsregel symbolisiert, Regel N, dh Box P, wenn Sie P in einem Weltdelta haben alle zugänglichen Welten sollten auch P haben.
Es ist auch Diamant P, was die Möglichkeit bedeutet, dass es eine Welt gibt, die P von der Welt zugänglich ist, die Diamant P hat.
Vielleicht hilft es Ihnen, das zu verstehen, wenn Sie sich ein kleines Beispiel aus der realen Welt vorstellen:
Feuer impliziert Hitze
Das heißt, wenn du Feuer hast, muss es Hitze geben. Wenn es kein Feuer gibt, kann Hitze sein, aufgrund anderer Effekte (z. B. scheint die Sonne :)), aber es könnte auch keine Hitze sein.
Wenn Sie Feuer haben, aber keine Hitze, etwas falsch. Die Implikation ist dann falsch.
Für mich gilt P = & gt; Q liest man am besten als P ist falsch oder Q ist wahr
Manchmal sind diese Verteilungsgesetze und andere Axiome modaler Logik leichter zu verstehen, wenn man die Komodalitäten verwendet, die De Morgan-Dualitäten gegebener Modalitäten sind. Die Komodalität der Notwendigkeit ist dann Notwendigkeit. Für a to coknow P bedeutet, dass a nicht weiß P : intuitiv bedeutet dies, dass a 's Wissen nicht P widerspricht, also a könnte P lernen, ohne zu kommen einen Widerspruch kennen. Sage Ca P wenn a coknows P .
Unter Verwendung der klassischen Logik entspricht die Verteilungsfähigkeit dann:
%Vor%Diese Form ist oft einfacher zu handhaben als die Form, die formale Manipulationen beinhaltet.
Suchen Sie nach einer Definition von P -> Q oder einem Ratschlag, wie Sie sagen dies beim Schreiben oder Sprechen in Worte fassen? Wenn es ersteres ist, gibt es schon einige gute Vorschläge.
Wenn dies jedoch der Fall ist, würde ich vorschlagen, einfach "P impliziert Q" zu sagen, wie Sie es bereits in Ihrem Beitrag verwendet haben. Es ist prägnant, und es sei denn, Sie sprechen mit jemandem, der sich mit der mathematischen Logik nicht oder nur wenig auskennt, dessen Bedeutung ist klar.
Tags und Links computer-science modal-dialog logic boolean-logic implication