Questão 65421

Em uma aula sobre lógica modal, um professor introduz os conceitos de 'necessidade' e 'possibilidade'. Ele explica que uma proposição é 'necessariamente verdadeira' se ela é verdadeira em todos os mundos possíveis, e 'possivelmente verdadeira' se ela é verdadeira em pelo menos um mundo possível.

Com base nessas definições, como a proposição '2 + 2 = 4' seria classificada na lógica modal?