double negation

Türkçe: çift değilleme

Açıklama: Çift olumsuzlama; ¬¬p ≡ p mantık kuralı