(logic) The classically valid but intuitionistically non-valid formula ((P→Q)→P)→P of propositional calculus, which can be used as a substitute for the law of excluded middle in implicational propositional calculus.

plural of peignoir

plural of ball-pein hammer

simple past tense and past participle of peise

plural of peirameter

(dated) A dynamometer for measuring the force required to draw wheel carriages on roads of different constructions.

Alternative form of Peircean

(zoology) Any archosaur in the family Peirosauridae.

plural of peirosaurid

A surname transferred from the given name.