Oq são valores de verdade na lógica proposicional?

Pq tipo, nem sempre as proposições e valores de verdade atribuídos a elas correspondem a realidade, então oq é exatamente os valores de verdade (ou valores veritativos)? E qual seria afinal a aplicação e finalidade da lógica proposicional?

Alguém aí manja pra ajudar?
08/09/2023 07h16

Alguns são meramente convenções matemáticas para poder manter generalidade durante alguma prova de teorema, como

F→ V ser logicamente verdadeira.