(א) טיעון הסתירה המחויבת