refactor(library/logic/connectives): rename theorems
refactor(library/logic): rename theorems
feat(library/init): create markdown directory file