Conectivo Lógico

Conectivo Lógico

1. Conjunção

   • Corresponde a "e". As proposições quando conectadas pela conjunção, precisam ser todas com valor verdadeira para resultar em verdade.
   • É equivalente a intersecção na parte dos conjuntos.

2. Disjunção Inclusiva

   • Corresponde a "ou". As proposições quando conectadas pela Disjunção Inclusiva, precisam ter uma ou mais com valor verdadeiro para resultar em verdade.
   • É equivalente a união na parte dos conjuntos.

3. Disjunção Exclusiva

   • Corresponde a "ou... ou". As proposições quando conectadas pela Disjunção Exclusiva, devem ter apenas uma com valor verdadeiro para resultar em verdade.
   • É equivalente a intersecção na parte dos conjuntos.

4. Condicional

   • Também é conhecida como "implicação". Corresponde a "Se.. Então". As proposições quando conectadas pela Condicional, só serão falsas se a primeira proposição for verdadeira e a segunda falsa.
   • É equivalente a intersecção na parte dos conjuntos.
   • As seguintes expressões podem se empregar como equivalentes de "Se A, então B": 1) Se A, B. 2) B, se A. 3) Quando A, B. 4) A implica B.5) Todo A é B.6) A é condição suficiente para B.7) B é condição necessária para A.8) A somente se B.
   • Propriedades: Os conectivos condicionais, possuem três propriedades, sendo elas: Inversa - Quando é inserido o modificar "negação". Recíproca - Quando as proposições trocam de lugar. Contrapositiva - Quando misturam as duas propriedades anteriores.
   • Condição necessária:

5. Bicondicional

   • Também conhecida como "equivalência". Corresponde a "Se e somente se". As proposições quando conectadas pela Bicondicional, só serão verdadeiras se ambas as proposições forem equivalentes.
   • É equivalente a intersecção na parte dos conjuntos.

6. Negação

   • A negação é considerado um modificador.

7. Ordem de Precedência

   • É necessário respeitar a importância de cada conectivo para operar as proposições.
   • OBS: Os parenteses, colchetes e chaves têm prioridade, nesta sequência.

Imágenes y archivos del mapa