A proposição condicional, representada pelo conectivo "Se... então" (p -> q), possui uma característica singular em sua tabela-verdade: ela só será falsa em um único caso específico. Em todas as outras combinações de valores lógicos para p e q, a condicional resultará em um valor verdadeiro.
Fonte: Lógica para Concursos, 2024.
A proposição p -> q é FALSA quando: