Introdução

OPERADORES VEROFUNCIONAIS
O QUE SÃO OPERADORES

 Operadores (no caso do Cálculo

Proposicional) são expressões que ligam
uma ou mais proposições ou que estão
ligados a uma proposição.
O QUE SÃO OPERADORES VEROFUNCIONAIS

 Operadores verofuncionais são

operadores cujo valor de verdade
depende do valor de verdade das
proposições que ligam ou a que estão
ligados.
OPERADORES VEROFUNCIONAIS PARA O CÁLCULO PROPOSICIONAL

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