En otras palabras, un argumento deductivo existe cuando "B" puede inferirse lógica y necesariamente de "A".