O documento discute os conectivos lógicos, incluindo conjunção, disjunção, condicional, equivalência e negação. Explica como cada um é representado em tabelas verdade e como funcionam. Também mostra como a negação inverte os valores lógicos de uma proposição e como os conectivos mudam quando uma expressão é negada.

1. Lógica
Formal

2. Informações
Rodolfo Fonseca
Email: rodolfofonseca01@gmail.com
rodolfofonseca01@outlook.com
Skype: rodolfo.fonseca12
Facebook: Rodolfo Fonseca
WhatsApp: peça mais tarde

3. Conectivos
Lógicos
Os Conectivos Lógicos são utilizados para
combinar proposições. Que são elas:
• Conjunção
• Disjunção
• Condicional
• Equivalência
• Negação

4. Conjunção
É popularmente conhecido com “e” e o seu
sinal de representação é (^);
A B A ^ B
V V V
V F F
F V F
F F F
Observe que para o resultado ser verdadeiro
as duas entradas devem ser verdadeiras.

5. Disjunção
É popularmente conhecido com “ou” e o seu
sinal de representação é (v);
A B A v B
V V V
V F V
F V V
F F F
Observe que o resultado apenas retorna falso,
quando falso implica em falso.

6. Condicional
É popularmente conhecido com “se” e o seu
sinal de representação é (->);
A B A -> B
V V V
V F F
F V V
F F V
Observe que neste caso quando um falso
implica em um verdadeiro o resultado é
verdadeiro. Mas quando um verdadeiro implica
em falso o resultado é falso.

7. Equivalência
É popularmente conhecido com “se e somente
se” e o seu sinal de representação é (<->);
A B A <-> B
V V V
V F F
F V F
F F V
Observe que neste caso apenas retorna
verdadeiro quando ambas as condições são
iguais.
Ou tudo falso, ou tudo verdadeiro.

8. Negação
Basicamente a negação seria, em inverter os
valores lógicos, exemplo;
A A'
V F
F V
Quando se está fazendo a utilização de uma
tabela verdade, basicamente se inverte o sinal,
mas quando não se está fazendo a utilização,
deve-se atentar em inverter também a
implicação

9. Negação
As tabelas verdades a seguir, mostra a
negação dos conectivos lógicos;
Negação do “e” (^) np v nq
Negação do “ou” (v) np ^ nq
Negação do “implica” (->) p^nq
Negação do “equivalencia” (<->) (p^nq)v(p^nq)
Leg
^ E
v ou
-> implica
<-> equival
ência
Observe que quando se nega uma expressão
o conectivo muda também.