OPERADORES
VEROFUNCIONAIS
Cálculo Proposicional
Operadores verofuncionais para o Cálculo Proposicional
 Vimos, então, que os operadores
verofuncionais relevantes para o ...
Operadores verofuncionais para o Cálculo Proposicional
 Vejamos o que cada operador verofuncional
significa.
1. A disjunç...
Operadores verofuncionais para o Cálculo Proposicional
4. A condicional liga duas proposições e será
falsa apenas se a pro...
Operadores verofuncionais para o Cálculo Proposicional
 Imaginando que A e B são duas proposições
os operadores verofunci...
Próximos SlideShares
Carregando em…5
×

Operadores verofuncionais cálculo proposicional

221 visualizações

Publicada em

Lógica

Publicada em: Educação
0 comentários
0 gostaram
Estatísticas
Notas
  • Seja o primeiro a comentar

  • Seja a primeira pessoa a gostar disto

Sem downloads
Visualizações
Visualizações totais
221
No SlideShare
0
A partir de incorporações
0
Número de incorporações
9
Ações
Compartilhamentos
0
Downloads
1
Comentários
0
Gostaram
0
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide

Operadores verofuncionais cálculo proposicional

  1. 1. OPERADORES VEROFUNCIONAIS Cálculo Proposicional
  2. 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. 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. 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. 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)

×