Raciocínio Lógico — estruturas lógicas (tabela verdade)

Proposições são sentenças que podem ser julgadas comoverdadeiras - V - ou falsas - F -, mas não como ambas,simultaneamente. As proposições são freqüentementerepresentadas por letras maiúsculas e, a partir de proposiçõessimples, novas proposições podem ser construídas utilizando-sesímbolos especiais. Uma expressão da forma A÷B, que é lidacomo se A, então B, é F se A for V e se B for F e, nos demaiscasos, será sempre V. Uma expressão da forma AvB, que é lidacomo A e B, é V se A e B forem V e, nos demais casos, serásempre F. Uma expressão da forma AwB, que é lida como A ouB, é F se A e B forem F e, nos demais casos, será sempre V.Uma expressão da forma ¬A, a negação de A, é V se A for F e éF se A for V.Julgue os itens que seguem, a respeito de lógica sentencial e deprimeira ordem, tendo como referência as definições apresentadasno texto.

Se o valor lógico da proposição Se as operações de crédito no país aumentam, então os bancos ganham muito dinheiro é V, então é correto concluir que o valor lógico da proposição Se os bancos não ganham muito dinheiro, então as operações de crédito no país não aumentam é também V.