input: P feltételezi Q
instruction: Adott egy logikai állítás, adja ki az állítás negációját a kijelentés logikai tagadásában.
output: A "P implikálja Q-t" logikai állítás negációja "P és nem Q" vagy szimbolikusan "P ∧ ¬Q". Ez az állítás akkor igaz, ha P igaz és Q hamis.