Prawo zaprzeczenia implikacji:

Zaprzeczeniem implikacji jest koniunkcja poprzednika i negacji następnika. 

a)

Implikacja jest fałszywa, ponieważ poprzednik jest prawdziwy, ale