A sentença “Se Teixeira de Freitas é um município do extremo sul da Bahia, então Salvador não é a capital da Bahia” equivale a:

Teixeira de Freitas não é um município do extremo sul da Bahia ou Salvador não é a capital da Bahia.

Teixeira de Freitas não é um município do extremo sul da Bahia ou Salvador é a capital da Bahia.

Teixeira de Freitas é um município do extremo sul da Bahia ou Salvador não é a capital da Bahia.

Teixeira de Freitas é um município do extremo sul da Bahia ou Salvador é a capital da Bahia.