Den deduktiva metoden sätterlogiken