Dadas as sentenças lógicas “Ana vai ao festival de cinema ou Rita não vai” e “Ana não vai ao festival de cinema, se Tiago for", qual das alternativas é uma conclusão lógica válida?
Rita e Tiago vão ao festival.
Tiago e Rita não vão ao festival.
Rita não vai ao festival, mas Tiago vai.
Se Tiago não for ao festival, Rita vai.
Se Rita for ao festival, Tiago não vai.