BennyVC

that's informal logic. formal logic is mathematical.

https://en.wikipedia.org/wiki/Informal_logic

https://en.wikipedia.org/wiki/Logic#Formal_logic