Նաև կոչվում է դատողությունների կամ կարծիքների տրամաբանություն: Այդ տրամաբանությունը վերաբերում է տարրական ասույթներին` p, q, r, s և այլն: -նրանք պետք է անհատապես կամ ճիշտ կամ կեղծ լինեն և համապատասխան թվով տարրական ասույթների օպերատորները, որոնք կազմում են բարդ ասույթները, միացնելիս ստացվի միակ ճիշտ ենթադրությունը: Օպերատորները ներառում են միացյալ (&)` հետևաբար «p և q»; բաժանարար` (v), հետևաբար «p կամ q»; ժխտում (-), հետևաբար «-p»; պայմանական (-->), հետևաբար «Եթե p, ապա q»; և համարժեքություն (=), հետեւաբար «p համարժեք է q»: Այս տրամաբանությունը որոշում է բարդ ասույթների տրամաբանական ճշմարտությունը կամ նույնաբանությունը. այն արդյունավետ որոշում է, թե որոնք են վավեր փաստարկները, որոնք կարող են դրվել բարդ ասույթների հիմքում, քանի որ դրանք փաստարկի նախադրյալ են դառնում եզրակացության համար: Այս պրեդիկատների տրամաբանությունն ի տարբերություն առաջինի, կամ ավելի բարձր կարգի տրամաբանություն է, քան նախորդը և ամբողջական ու լրիվ է: