"nicht immer wahr" darstellen

[tautologie420]

kann ich schoener zeigen dass eine aussageform nicht zwingendermassen wahr ist (ergo ausnahmen hat) als wie folgt?

$\exists A \colon \inf A \neq \min A$

ich vermute dass diese formulierung nicht einmal wirklich korrekt ist weil nicht spezifiziert wurde was A denn überhaupt ist.

danke fuer jegliche hilfe

[Andromeda]

In der Modallogik gibt es die Raute als Symbol. Sie bedeutet: "es ist möglich dass ...".

Vielleicht passt das. https://de.wikipedia.org/wiki/Modallogik