Pourquoi traitons-nous la lettre de la phrase $ q $ comme conclusion sous une forme et la prémisse dans d'autres?

Question

Désolé d'avoir posé une question aussi stupide.

Je suis étudiant CS et j'essaie de comprendre les principes de base de la logique. Je suis nouveau dans le sujet et je suis perdu en compréhension des implications.

Dans la logique formelle, $ (P rightarrow q) $, La lettre de la phrase $ P $ est la prémisse et $ Q $ La conclusion est-elle, non?

Maintenant, nous savons que $ (P rightarrow q) $ est équivalent à $ - (p wedge -q) $ c'est-à-dire que ce n'est pas le cas que $ P $ et pas $ Q $. Ici, $ Q $ agit comme une prémisse, non?

Alors, pourquoi nous traitons la lettre de la phrase $ Q $ comme conclusion dans la forme et la prémisse dans d'autres?