Escolar Documentos
Profissional Documentos
Cultura Documentos
Princpio da no Contradio
Nenhuma proposio pode ser verdadeira e falsa ao mesmo tempo.
Ex: "o sol amarelo; o sol no amarelo"
- "o sol amarelo no amarelo" (Essa frase no est correta segundo os princpios da no
contradio).
Ex: Estudar fcil. (o contrrio seria: Estudar difcil. No existe meio termo, ou estudar
fcil ou estudar difcil).
Conectivos Lgicos
Esses conectivos so smbolos que comprovam a veracidade das informaes e unem as
proposies uma a outra ou as transformam numa terceira proposio. Veja abaixo:
CONJUNO (smbolo )
Usado para unir duas proposies formando uma terceira. O resultado dessa unio somente
ser verdadeiro se as duas proposies (P e Q) forem verdadeiras, ou seja, sendo pelo menos
uma falsa, o resultado ser FALSO. = e
Ex: P Q (O Bolo barato e o Caf no bom.)
Ex2: P Q (Carlos arquitero e Marcelo mdico)
PQ
VV
VF
FV
FF
P
Q
V
F
F
F
DISJUNO (smbolo V)
A disjuno o conectivo representado pelo "ou" e serve para unir duas proposies. O
resultado ser verdadeiro se pelo menos uma das proposies for verdadeira. Ele pode ser
dividido em disjuno inclusiva e exclusiva.
Disjuno Inclusiva: Relaciona duas ou mais proposies simples com o conectivo "ou".
Ex: P V Q. (Comprarei um Vestido ou uma Cala) V = ou
PV
Q
VV V
VF V
FV V
FF F
PQ
P
V
V
F
F
Q
V
F
V
F
PVQ
F
V
V
F
CONDICIONAL (smbolo )
Este conectivo d a ideia de condio para que a outra proposio exista. P ser condio
suficiente para Q e Q condio necessria para P. Nesse caso a proposio ser falsa
se o termo da esquerda for verdadeira e o termo consequente for falso. Os termos podem ser
substiudos pelas palavras suficiente e necessrio para compreender melhor o exemplo abaixo:
Ex: P Q. (Se nasci no Rio de Janeiro, ento sou carioca) = se...ento
-Se nasci no Rio de Janeiro suficientemente sou carioca;
-Agora, se sou carioca necessariamentente nasci no Rio de Janeiro.
P
Q
VV V
VF F
FV V
FF V
PQ
BICONDICIONAL (smbolo )
O resultado dessas proposies ser verdadeiro somente se as duas forem iguais, ou seja as
duas verdadeiras ou as duas falsas. P ser condio suficiente e necessria para Q
Ex5.: P Q. (Se 6 maior que 5, ento 5 menor que 6) = se e somente se
P
Q
VV V
VF F
FV F
FF V
PQ
NEGAO (smbolo ~ e ):
Esse considerado um dos conectivos mais simples e pode ser representado por dois
smbolos. Quando usamos a negao de uma proposio invertemos a afirmao que est
sendo dada.
Ex:
~P (no P): O Po no barato. ( a negao lgica de P)
~Q (no Q): O Queijo no bom. ( a negao lgica de Q)
- Se uma proposio verdadeira, quando usamos a negao vira falsa.
- Se uma proposio falsa, quando usamos a negao vira verdadeira.
P ~P
V F
F V