Es la negación de la preposición condicional.
P | Q | ¬P | ¬Q | ¬Q --> ¬P |
T | T | F | F | T |
T | F | F | T | F* |
F | T | T | F | T |
F | F | T | T | T |