[Tryk]

This is the field of study called Logic. For a good page with resources see:

https://www.logicmatters.net/