Você está na página 1de 18

Aula 01 Estruturas Lgicas

As estruturas lgicas so formadas por proposies. Proposio uma sentena, ou seja, algo que se declara, que pode ser verdadeira ou falsa, que o valor lgico. As estruturas lgicas podem ser:
Simples (Joana Auditora Fiscal da Receita Federal) Compostas (Pedro analista

e Carla e auditora)
conectivo

Conjuno e

smbolo ^

Ex: Filho vou lhe dar uma bicicleta bola.

e uma

S ser verdadeira se as duas proposies forem verdadeiras.

Disjuno ou

smbolo v

Filho vou lhe dar uma bicicleta

ou uma bola.

Basta que apenas umas das proposies seja verdadeira. Se as duas proposies forem falsas, ento a estrutura ser falsa.

Disjuno Exclusiva ouou

Ou Joo culpado

ou inocente.

Para ser verdadeira, apenas uma deve ser verdadeira. Uma proposio exclui a outra.

Condicional seento

Se nasci em Curitiba, ento sou paranaense.


S h uma forma de ser falso, se a primeira for verdadeira e a segunda falsa. V F (inadmissvel)

Bicondicional se e somente se p q Se a primeira verdadeira, a segunda tambm deve ser verdadeira para ser verdade. Se a primeira falsa, a segunda tambm deve ser falsa para ser verdade.

Se nasci em Curitiba, ento sou paranaense. Basta que eu tenha nascido em Curitiba para eu ser paranaense. A primeira ser condio suficiente para o complemento. Aquilo que ocupa a segunda posio da estrutura condicional, ser sempre necessria para o que est no incio.

I
suficiente

II
necessria

Nascer em Curitiba condio suficiente para ser paranaense. Ser paranaense condio necessria para nascer em Curitiba. Se A, ento B. A cond. suf. para B. I II B cond. nec. Para A. Se a questo citar suficiente e necessria ao mesmo tempo, ento ser BICONDICIONAL

O enunciado apresenta uma frase e pede que encontre entre as alternativas uma outra frase que seja do ponto de vista lgico, equivalente do enunciado.

Equivalncia da Conjuno

A e B = B e A
- inverte e conserva o conectivo

Equivalncia da Disjuno

A ou B = B ou A
- inverte e conserva o conectivo

Equivalncia da Bicondicional

A
A

B=B
B = (A

A
A)

- inverte e conserva o conectivo

B) e (B

- transforma em uma conjuno

Equivalncia da Condicional (+ importante)

B = ~B

~A

- transforma em outra condicional - inverte e troca o sinal REGRA DO: INVERTE E TROCA
a posio o sinal

Ainda na condicional:

B = ~ A ou B

- transforma em promessa do ou, mantm as posies e troca o sinal da primeira.

A ou B = ~ A

- transforma em promessa de condicional, mantm as posies e troca o sinal da primeira.

OBS: no confundir equivalncia com negao. 1.

- negam-se as duas partes e troca-se o conectivo pelo ou. 2.

~ (A e B) = ~ A ou ~ B

~ (A ou B) = ~ A e ~ B

- negam-se as duas partes e troca-se o conectivo pelo e. OBS: Leis de De Morgan

3. + importante

~ (A

B) = A e ~ B

- nega-se a segunda e troca-se o conectivo pelo e.

~ ( Todo poeta rico). Algum poeta no rico.

algumno = ao menos um = pelo menos um ~ (Algum poeta rico). Nenhum poeta rico.

I . ~ (algum) = nenhum
II. ~ (nenhum) = algum III. ~ (todo) = algumno