logic first order 6 pages 1476615