- Lógica ProposicionalContingência, Contradição e Tautologia
- Lógica ProposicionalEquivalências Lógicas
Uma reunião de formação contou com a presença de Enrico e apenas mais dois ou três dos seguintes técnicos: André, Bruno,Carlos e Daniel. As seguintes afirmações foram feitas por Enrico:
• Se Carlos não esteve presente, então André esteve presente.
• Daniel esteve presente se, e somente se, André esteve presente.
• Bruno esteve presente ou Carlos esteve presente.
• Ou Bruno não esteve presente ou Daniel esteve presente.
• André e Bruno estiveram presentes.
Sabendo que exatamente uma das afirmações feitas por Enrico é logicamente falsa, então estiveram na reunião apenas Enrico,
• Se Carlos não esteve presente, então André esteve presente.
• Daniel esteve presente se, e somente se, André esteve presente.
• Bruno esteve presente ou Carlos esteve presente.
• Ou Bruno não esteve presente ou Daniel esteve presente.
• André e Bruno estiveram presentes.
Sabendo que exatamente uma das afirmações feitas por Enrico é logicamente falsa, então estiveram na reunião apenas Enrico,
Provas
Questão presente nas seguintes provas