句型

right sentential form

sentential

calculus of propositions【数】;propositional calculus【数】;sentential calculus【数】

sentential formula【数】

derived sentential form

parse of sentential form

软件\nparse of sentential form【计】

sentential shape