Η λογική των προτάσεων, προτασιακός λογισμός - Koletsos, Georgios; Κολέτσος, Γεώργιος (2016)