PROPOSIO LGICA

Proposio SIMPLES x COMPOSTA

CONECTIVOS LGICOS

CONJUNO (E / ^)

DISJUNO (OU / v)

DISJUNO EXCLUSIVA (OU...OU / v)

CONDICIONAL (SE... ENTO / )

BICONDICIONAL (...SE E SOMENTE SE... / )

Na bicondicional, ambos os lados deve possuir o mesmo valor lgico!.

uma questo do mal, em que no fornecido um ponto de partida, ou seja,

necessrio estabelecer hipteses.

CONTRADIO, que consiste na formulao de uma sentena

NECESSARIAMENTE falsa.

Diferentemente, a TAUTOLOGIA consiste em uma afirmao NECESSARIAMENTE

verdadeira.

Por fim, CONTINGNCIA seria uma sentena que pode ser verdadeira ou falsa
(meio-termo entre CONTRADIO e TAUTOLOGIA).

perceba que necessrio lembrar os casos em que as proposies compostas sero

verdadeiras e/ou falsas.

DISJUNO. Atente-se que, independentemente do nmero de proposies simples

ligadas pelo conectivo ou, basta que pelo menos uma delas seja verdadeira para que
toda a proposio composta DISJUNO tambm seja verdadeira.

o professor segue o passo a passo aplicado para resolver o tipo de questo do mal,
estabelecendo hipteses. Perceba a sistemtica utilizada na resoluo, em que
montando um esquema grfica para simplificar as proposies simples (sempre que for
possvel, utilize esses tipos de esquemas).

Negao das proposies compostas:

(a) DISJUNO (ou / v)

~(A ou B) = ~A e ~B
(b) CONJUNO (e / ^)
~(A e B) = ~A ou ~B

(c) CONDICIONAL (Se... ento / )

~(AB) = ~B~A = A e ~B

BICONDICIONAL
~(AB) = ~A~B = (AB) ^ (BA)

Negao da palavra TODO

A : TODO homem gordo.
~A: ALGUM homem no gordo (Pelo menos um homem no gordo)

Negao da palavra ALGUM

A: ALGUM homem gordo.
~A: NENHUM homem gordo (Todo homem no gordo).

aplicao da Lei de De Morgan.

Negao de Estruturas Lgicas

https://goo.gl/bwOqjF
https://goo.gl/sn9X1p