Define Cartesian logic

Define Cartesian logic