Sa klasikong lohika , partikular na sa lohikang proposisyonal at lohikang unang order , ang proposisyong ph { \ displaystyle \ varphi } ay isang kontradiksiyon kung at tanging kun ang ph [?] [?] { \ displaystyle \ varphi \ vdash \ bot }.
