Introduction

Consider the following inference (it is a type known as an Aristotelian syllogism):

(S) All Cretans are liars.

 All liars are wicked.

 ∴ All Cretans are wicked.