Lógica 
Formal
Informações 
Rodolfo Fonseca 
Email: rodolfofonseca01@gmail.com 
rodolfofonseca01@outlook.com 
Skype: rodolfo.fonseca12 
F...
Conectivos 
Lógicos 
Os Conectivos Lógicos são utilizados para 
combinar proposições. Que são elas: 
• Conjunção 
• Disjun...
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 ...
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...
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...
Equivalência 
É popularmente conhecido com “se e somente 
se” e o seu sinal de representação é (<->); 
A B A <-> B 
V V V ...
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 ...
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 “...
Próximos SlideShares
Carregando em…5
×

Lógica formal

323 visualizações

Publicada em

  • Seja o primeiro a comentar

  • Seja a primeira pessoa a gostar disto

Lógica formal

  1. 1. Lógica Formal
  2. 2. Informações Rodolfo Fonseca Email: rodolfofonseca01@gmail.com rodolfofonseca01@outlook.com Skype: rodolfo.fonseca12 Facebook: Rodolfo Fonseca WhatsApp: peça mais tarde
  3. 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. 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. 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. 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. 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. 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. 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.

×