Considere o seguinte argumento lógico:
p1: ou João é ateu ou Carla não é evangélica;
p2: João irá ao Rio de Janeiro se e somente se Carla também for;
p3: Carla é evangélica se e somente se for à igreja aos domingos; e,
P4: ou Carla vai à igreja aos domingos ou irá ao Rio de Janeiro
Sabendo‐se que Carla não vai à igreja aos domingos, conclui‐se que: