2. 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.
3. 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.
4. 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 (“↔”)