En lògica matemàtica, una asserció lògica és una afirmació que assevera que una premissa és veritable. Per exemple, si p = x "és parell", la implicació és certa.…
En lògica matemàtica, una asserció lògica és una afirmació que assevera que una premissa és veritable.
Per exemple, si p = x "és parell", la implicació
és certa. Podem el mateix usant el símbol d'asserció com
Vegeu també Si i només si Condició
Referències
Categoria:Lògica matemàtica
Na podstawie: Wikipedia — Asserció lògica · historia autorów.
Tekst: CC BY-SA 4.0.
Usunięto składnię wiki i szablony; dłuższe teksty skrócono.