Was bedeutet dieses q?

2 Antworten

Q steht für Konsequenz ( also: "ex falso quodlibet")

s. Formale Grundlagen der Informatik: Aussagenlogik

Die logische Implikation ist nur dann falsch, wenn die Voraussetzung P wahr und die Konsequenz Q falsch ist. In allen anderen Fällen, insbesondere wenn die Voraussetzung P falsch ist, ist die Implikation wahr. Der Fall F → Q wird als "ex falso quodlibet" bezeichnet.
Koschutnig  06.04.2022, 09:41

A formal consequence must be true in all cases, however this is an incomplete definition of formal consequence, since even the argument "P is Q's brother's son, therefore P is Q's nephew" is valid in all cases, but is not a formal argument.

If it is known that Q follows logically from P, then no information about the possible interpretations of  P or Q will affect that knowledge. Our knowledge that Q is a logical consequence of P cannot be influenced by empirical knowledge.

0

O für output. Man nimmt q weil o zu viele andere wörter heissen könnte