3.1 First Order Logic-1

Complete and Continue