1 votes 1 votes Can some explain the basics of First Order Logic like what various terms means, what are various properties ? Study Resources first-order-logic discrete-mathematics mathematical-logic + – Arunav Khare asked Apr 7, 2017 Arunav Khare 812 views answer comment Share Follow See all 5 Comments See all 5 5 Comments reply dd commented Apr 7, 2017 reply Follow Share Hi, a kind request: could you please be more specific. This question seems to be too generic and expects reader ( or writers) to think what you actually need). Thanks ! 0 votes 0 votes Arunav Khare commented Apr 7, 2017 reply Follow Share "What various terms mean" From this I meant, terms in for all symbol, for some symbol, negation, arrow etc. "what various properties mean", From this I meant the rules like "Not of all, is few". I had read some questions in gate related to it and i don't know much about it, so i thought of asking.. 0 votes 0 votes dd commented Apr 7, 2017 reply Follow Share You have ample amount of time and I think Kenneth will be best for you. There they have separate chapters for each sub topic of first order logic. Very very good. 1 votes 1 votes valar commented Apr 7, 2017 reply Follow Share This is called management, in one questions he asked everything. :P 0 votes 0 votes Arunav Khare commented Apr 7, 2017 reply Follow Share :-D ... 0 votes 0 votes Please log in or register to add a comment.
1 votes 1 votes I think this video will give u some idea. if you want to study then u can follow this link too https://www.tutorialspoint.com/discrete_mathematics/discrete_mathematics_predicate_logic.htm Deepthi_ts answered Apr 7, 2017 Deepthi_ts comment Share Follow See all 0 reply Please log in or register to add a comment.