Atividade 1 – Lógica para Computação – 51/2025

ATIVIDADE 1 – ESOFT – LÓGICA PARA COMPUTAÇÃO – 51/2025

Expressões lógicas são construções na lógica matemática que representam relações entre proposições utilizando operadores lógicos. Essas proposições podem ser verdadeiras (representadas geralmente por V, Verdadeiro) ou falsas (representadas geralmente por F, Falso). As expressões lógicas são fundamentais em diversas áreas, incluindo matemática, ciência da computação, filosofia e linguagens de programação. As proposições básicas são frequentemente representadas por letras, como P, Q, R etc., e podem estar associadas a valores de verdade específicos. Os operadores lógicos, por sua vez, são utilizados para combinar ou modificar proposições, formando expressões mais complexas.

Maria é estudante de Matemática e está indecisa de qual caminho seguir em 2024. Para isso, ela decidiu montar expressões lógicas associadas aos seus problemas e analisar quais seriam as possibilidades que ela teria de escolha. Para isso, ela considerou:

“Se maria terminar a faculdade no ano de 2024, ela irá prestar concurso para o estado do paraná, mas se e somente se ela não terminar a faculdade em 2024, ela irá dar aula em um colégio privado”

Considerando como as seguintes proposições:

T: Maria termina a faculdade no ano de 2024.
C: Maria irá prestar concurso para o estado do Paraná.
A: Maria irá dar aula em um colégio privado.

Para realizar essa atividade, responda:

Qual seria a expressão lógica associada ao problema que Maria enfrenta?

Dica:

Para a expressão, podem ser utilizados os seguintes símbolos:

~ (negação)
^ (conjunção)
(condicional)
(bicondicional)