OPERADORES VEROFUNCIONAIS

Cálculo Proposicional

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 (“↔”)

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.

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.

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)