First Order Logic (FOL)
{"Image DocumentName": "First Order Logic (FOL)", "Image ImageDescription": "A = Z \uf0c8 F \uf0c8 P \uf0c8 S \uf0c8 {(, ), ,} A \u2013 set of symbols. Z - variables x1, x2, ... F \u2013 function symbols: F1n, F2n, ... P \u2013 predicate symbols: P1n, P2n, ... S \u2013 logical symbols {\uf0d8, \uf0d9, \uf0da, \uf0db, \uf0de, \uf022, \uf024} dr hab. in\u017c. Joanna J\u00f3zefowska, prof. PP.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}