Also known as assertion
dichiarazione della verità di una premessa
L'asserzione logica è una dichiarazione che afferma che una certa premessa è vera. È equivalente ad un sequente senza antecedente. Ad esempio, data la proposizione p = "x è un numero pari", la seguente implicazione è vera:
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).