Tabela verdade é um tipo de tabela matemática usada em Lógica para determinar se uma fórmula é válida ou se um sequente é correto, nela se analisa ...

Tabela verdade é um tipo de tabela matemática usada em Lógica para determinar se uma fórmula é válida ou se um sequente é correto, nela se analisa os valores-lógicos das proposições compostas. Em lógica, as proposições representam pensamentos completos e indicam afirmações de fatos ou ideias, ou exprimem juízos ou declarações que formamos a respeito de determinadas situações ou entes. 

“Reality show” ou “Reality television” é um gênero de programa de tele visão baseado na vida real. Podemos então falar de reality show sempre que os acontecimentos nele retratados sejam fruto da realidade e os visados da história sejam pessoas reais e não personagens de um enredo ficcional. Exemplo deste é o programa mundialmente conhecido Big Brother, criado em 1999 por John de Mol.

Três amigas, Amanda, Bianca e Cristina, se inscreveram para participarem do Big Brother Brasil 2020. Os responsáveis por este programa entraram em contato com as candidatas, para convidá-las ou dispensá-las.

Uma jornalista de fofoca, querendo notícias para aumentar a audiência do seu programa, conversou com essas três amigas, e logo após fez a famosa pergunta a cada uma delas:

“Você foi convidada para participar do Big Brother Brasil 2020?”

Obteve os seguintes depoimentos:

• Amanda: Eu não fui convidada, mas Cristina foi.   
• Bianca: Se Amanda foi convidada, então Cristina não foi.
• Cristina: Eu não fui convidada, mas pelo menos uma das outras foi.

Baseado nas declarações dessas três amigas e no conhecimento de lógica das proposições, quando apenas Bianca foi convidada, quem mentiu ?