مادرمنطق ریاضی هرجمله ای که به ماخبری رابدهدگزاره میگن چه ارزش درست باشه چه نادرست مادرریاضی گزاره هاروباعلامت هایی مثل q,p,r,s,t .....نشان می دهیم.اگرنایک گزاره داشته باشیم دوما به توان یک می شودومادوحالت ارزشی داریم اگردومابه توان دوشودماچهارحالت ارزشی داریم وهمینطورتااخر.نقیض گزاره یعنی اگرگزاره مادرست باشدمیشودنادرست اگرنادرست باشدمیشوددرست