Conectivos Lgicos

Prof. Tarcizio Antnio Fernandes

Recordando...
Exemplo de Raciocnio Lgico

1) Se um time o campeo, ento ele o melhor!
2) O Fluminense o campeo brasileiro.
3) Portanto, o Fluminense o melhor time do Brasil.


Conectivo de Conjuno (e)
Imagine que o Sr. Joo Batista deseja comprar um carro e, para
que isso se concretize, necessrio que todas as suas condies
de aquisio sejam satisfeitas.


Conectivo de Conjuno (e)
Condies para o Sr. Joo Batista comprar o carro:

- O carro tem que ser amarelo e
- O carro tem que ter ar condicionado e
- O carro tem que ter vidro eltrico e
- O carro tem que ter roda de liga leve e
- O carro tem que ter farol de neblina e
- O carro tem que ser um Camaro.

Conectivo de Conjuno (e)

Dentre as diversas possibilidades de
atendimento a cada uma das condies
para comprar o carro, qual a nica
combinao em que o Sr. Joo Batista
efetivamente vai comprar o carro?

Conectivo de Disjuno (ou)
Imagine que o Sr. James Bond deseja comprar um carro e, para
que isso se concretize, necessrio que algumas de suas
condies de aquisio sejam satisfeitas.


Conectivo de Disjuno (ou)
Condies para o Sr. James Bond comprar o carro:

- O carro tem que ser amarelo ou
- O carro tem que ter ar condicionado ou
- O carro tem que ter vidro eltrico ou
- O carro tem que ter roda de liga leve ou
- O carro tem que ter farol de neblina ou
- O carro tem que ser um Camaro.

Conectivo de Disjuno (ou)

Dentre as diversas possibilidades de
atendimento a cada uma das condies
para comprar o carro, qual a nica
combinao em que o Sr. James Bond
efetivamente no vai comprar o carro?

Conectivos Lgicos
Conectivos so expresses usadas para, a partir de
proposies conhecidas, gerar novas proposies.
Em geral usam-se letras latinas A, B, C,... (a,b,c,..)
para indicar proposies arbitrrias.

Conectivo Funo Smbolo (a, b) Significado
No negao a ou a ou a no a
e conjuno a b ou a b a e b
ou disjuno a b ou a + b a ou b
se .....no condicional a b ou a b Se a, ento b
se..e somente..se bicondicional a b ou a b a se, e somente se b
Tabela-Verdade

Tabela-verdade uma forma de representar todas as
combinaes lgicas possveis. Assim dados duas
proposies/interruptores/portas lgicas a e b, teremos:

1) s = a 2) s = a + b (a b) 3) s = a b (a b)
a s =a
0 (F) 1 (V)
1 (V) 0 (F)
a b s =a +b
0 (F) 0 (F) 0 (F)
0 (F) 1(V) 1 (V)
1 (V) 0 (F) 1 (V)
1 (V) 1 (V) 1 (V)
a b
s =a b
0 (F) 0 (F) 0 (F)
0 (F) 1 (V) 0 (F)
1 (V) 0 (F) 0 (F)
1 (V) 1 (V) 1 (V)
Lgica Formal
Exerccios de Tabela-Verdade
1) s = a b
2) s = (a b) (a b)
3) s = (a b) (ab)
4) s= a(a b)
5) s= (a b) c
6) s= (a b) (c d)
7) s= (a b) (c d)
8) s= a (b ( c d))
9) Considerando a sentena s=a b c d e False, qual ser o
resultado da tabela-verdade para qualquer combinao?
10) Considerando a sentena s=a b c d e True, qual ser o
resultado da tabela-verdade para qualquer combinao?