Report - Reasoning using First-Order Logic. Sentences A predicate is a sentence If sen, sen’ are sentences & x a variable, then (sen), sen, x sen, x sen,

Please pass captcha verification before submit form