Qual a regra básica para determinar o valor lógico dos conectivos v, ^, → e ↔?

v: verdadeira se pelo menos uma parcela for V, ^: verdadeira apenas se ambas forem V, →: falsa somente quando antecedente é V e consequente é F, ↔: verdadeira quando os dois lados têm o mesmo valor lógico.

Explicação:
Para disjunção (v), basta uma parcela verdadeira para a sentença ser V.
Para conjunção (^), ambas as parcelas precisam ser V para a sentença ser V.
Para condicional (→), a única situação que gera F é antecedente V e consequente F, em todos os outros casos é V.
Para bicondicional (↔), a sentença é V quando as duas parcelas são ambas V ou ambas F.

Exemplo:
Se P: \(2+3=5\) (V) e Q: \(4<2\) (F):
\(P \lor Q\) é V, porque P é V.
\(P \land Q\) é F, porque Q é F.
\(P \to Q\) é F, porque antecedente é V e consequente é F.
\(P \leftrightarrow Q\) é F, porque P e Q têm valores diferentes.
Se R: \(1+1=2\) (V) e S: \(3>1\) (V), então \(R \leftrightarrow S\) é V.