Quantificational logic