Chat with our AI personalities
Since you didn't include the statements in your question there is no way for us to know
Logically invalid statements.
Yes. That is what theorems are for. Once proven, their results do not need to be justified again (except for exams).
no
Mathematical logic.