La p og q være to utsagn. Det at p er tilstrekkeli