Lógica

1. OPERADORES
VEROFUNCIONAIS
Cálculo Proposicional

2. Operadores verofuncionais para o Cálculo Proposicional
 Vimos, então, que os operadores
verofuncionais relevantes para o Cálculo
Proposicional são:
1. A disjunção (“V”).
2. A negação (“~” ou “¬”).
3. A conjunção (“&” ou “∧”).
4. A implicação material ou condicional (“→”)
5. A bicondicional (“↔”)

3. Operadores verofuncionais para o Cálculo Proposicional
 Vejamos o que cada operador verofuncional
significa.
1. A disjunção liga duas proposições, e a disjunção
apenas será verdadeira caso, pelo menos, uma
das proposições seja verdadeira.
2. A negação será verdadeira, caso a proposição a
que está ligada seja falsa; e será falsa, caso a
proposição a que está ligada seja verdadeira.
3. A conjunção liga duas proposições e será
verdadeira apenas se todas as proposições que
liga sejam verdadeiras.

4. Operadores verofuncionais para o Cálculo Proposicional
4. A condicional liga duas proposições e será
falsa apenas se a proposição que antecede o
símbolo da condicional (a antecedente) for
verdadeira e a proposição que aparece após
o símbolo da condicional (a consequente) for
falsa.
5. A bicondicional liga duas proposições e será
verdadeira caso ambas as proposições que a
bicondicional liga sejam simultaneamente
falsas ou simultaneamente verdadeiras.

5. Operadores verofuncionais para o Cálculo Proposicional
 Imaginando que A e B são duas proposições
os operadores verofuncionais ligam as
proposições do seguinte modo:
1. A V B (disjunção)
2. ¬ A (negação)
3. A ∧ B (conjunção)
4. A → B (condicional)
5. A ↔ B (bicondicional)