Σωστός συλλογισμός; · Λογική