ADMINISTRAÇÃO DA PRODUÇÃO

Métodos Quantitativos e
Raciocínio Lógico

Métodos Quantitativos e
Raciocínio Lógico
Prof. Nilson Teixeira
Tel. [phone]
E-mail: [e-mail]

Linguagem da Lógica Formal
Na linguagem da lógica formal qual a importância dos parênteses e como utilizá-lo. É obvia a necessidade de usar parênteses na simbolização das proposições, que devem ser colocados a evitar qualquer tipo de ambiguidade.

Conectivos Lógicos
Conectivos Operadores

Conjunção
Disjunção Inclusiva
Disjunção exclusiva

Condicional
Bicondicional
Negação

Símbolos

^ v v
→
↔

¬

Significados

“e” / “mas”
“ou”
“ou... Ou...”

“se então..” / “Quando”
“se, e somente se”
Não

Linguagem da Lógica Formal
A “ordem de precedência” para os conectivos é:
1 – bicondicional
2 – condicional
3 – conjunção e disjunção / disjunção exclusiva 4 – negação

Linguagem da Lógica Formal
Portanto, o conectivo mais “forte” é o bicondicional e o mais “fraco” é a negação.
I–p

(r /\ s).

A proposição I é uma condicional, pois o conectivo Principal é o

Linguagem da Lógica Formal
II – (p
r) /\ s.
A proposição II é uma conjunção, pois o conectivo principal é o /\

Então I e II não têm o mesmo significado, apesar de possuírem as mesmas proposições e os mesmos conectivos na mesma ordem.

Linguagem da Lógica Formal
III – r
IV- (r

((p /\ s)
p) /\ (s

q).

q).
O mesmo acontece com os exemplos III e IV.
Há casos em que os parênteses podem ser retirados para simplifiquem as proposições colocadas, caso não apareça alguma ambiguidade. Linguagem da Lógica Formal
Porem, para que se possa retirar os parênteses, é preciso seguir algumas convenções, cujas mais importantes são:
A “ordem de conectivos é:

~

precedência”

para

os

depois /\ depois de V depois de

depois de

, esta ordem é crescente.

Linguagem da Lógica Formal
Sendo assim o elemento mais “fraco” é ¬ e o mais “forte é o

r ^ p ↔s→q