p (pvr) önermesinin bir totoloji olduğunu; a. önermeler cebirini kullanarak,​