Skip to content
AIDb
p

propositional function

Expression in propositional calculus

EntityQ3606768
Subclass of