Lärobok i den formella Logiken afJ