So consideradas proposies lgicas:

a) Frases com sentido completo ou Frases declarativas (sujeito +

verbo).
Exs.: Pel jogou no Santos.
A Terra conhecida como planeta verde.
Viajo.
No so consideradas proposies lgicas:
a) Frases que no possuem sentido completo.
Ex.: Ningum de ningum.

m
rime
exp o so
e
qu plet !
es
s
m
fras ido co lgica
s
a
t
s
n
s
e
e
s
da
i
.: to to de pos
Obs samen as pro
pen siderad
co n

b) Frases interrogativas.
Ex.: Sou feliz?
c) Frases exclamativas..
Ex.: Passei no concurso!

d) Frases imperativas.
Ex.: Escute minhas palavras, meu filho.
e) Sentenas abertas representasdas por variveis.
Exs.: x + 3 = 8 / Ele foi o melhor presidente do Brasil.

Exemplo da negao de uma conjuno:

Afirmao: Paulo padre e Carlos no corredor.
Negao: Paulo no padre ou Carlos corredor.
Exemplo da negao de uma disjuno:
Afirmao: Rose no ri ou Ctia no chora.
Negao: Rose ri e Ctia chora.
Exemplo da negao de uma disjuno exclusiva:
Afirmao: Ou Beto estuda ou Lia dorme.
Negao: Beto estuda se e somente se Lia dorme.
Exemplo da negao de uma condicional:
Afirmao: Se Rute beija, ento Marcelo no estuda.
Negao: Rute beija e Marcelo estuda.
Exemplo da negao de uma bicondicional:
Afirmao: Rita viaja se e somente se Bia trabalhar.
Negao: Rita viaja e Bia no trabalha ou Bia trabalha e Rita no viaja.
Exemplo de equivalncia pela Teoria da Involuo:
Afirmao: Se Leo no ama, ento Ana sorri.
Equivalncia: Lo ama ou Ana sorri.
Exemplo da equivalncia pela Contrapositiva:
Afirmao: Se Leo no ama, ento Ana sorri.
Equivalncia: Se Ana no sorri, ento Leo ama.

Uma proposio condicional do tipo Se A, ento B pode ser

expressa (dita) de vrias formas. Eis algumas:

Nmero de linhas da tabela-verdade

Em relao s possveis combinaes entre os valores lgicos que as
n
proposies simples podem assunir, teremos um total de 2 linhas,
onde n representa o nmero de proposies simples.
Ex.: Quantas linas possui a proposio composta A B
n = 4 proposies simples (A, B, C e D)
4
N de linhas = 2 = 16 linhas

(C D)?

Em relao ao valor lgico de uma proposio simples ou a soluo

de uma proposio composta, definine-se como:
a) Tautologia: se o resultado ou a soluo final apresentar somente
valorao verdadeira.
b) Contradio: se o resultado ou a soluo final apresentar
somente valorao falsa.
c) Contigncia: dizemos que uma proposio composta uma
contigncia ou indeterminao, quando no for uma tautologia ou
contradio.
B
V
F
V
F

~A
F
F
V
V

~B
F
V
F
V

~A

V
V
V
V
tautologia

~A

F
F
F
F
contradio

Seja a seguinte proposio condicional:

Se Zeca gentil, ento Teresa no reclama.
1 representao:
Se Zeca gentil, Teresa no reclama.

Tautologia - Contradio - Contingncia

A
V
V
F
F

Se A, B
Quando A, B
A implica em B
B, Se A
A somente se B
A condio suficiente para B
suficiente que A, para que B
B condio necessria para A
necessrio que B, para que A
Todo A B

~B

F
V
V
V
contigncia

2 representao:
Quando Zeca gentil, Teresa no reclama.
3 representao:
Zeca ser gentil implica em Teresa no reclamar.
4 representao:
Teresa no reclama, se Zeca for gentil.
5 representao:
Zeca gentil somente se Teresa no reclama.
6 representao:
Zeca ser gentil condio suficiente para Teresa no reclamar.
7 representao:
suficiente que Zeca seja gentil para que Teresa no reclame.
8 representao:
Teresa no reclamar condio necessria para Zeca ser gentil.
9 representao:
necessrio que Teresa no reclame para que Zeca seja gentil.

Negao da conjuno:.......... ~ (A B) (~ A) (~ B)
Leis de Morgan
Negao da disjuno:........... ~ (A B) (~ A) (~ B)
Negao da disj. exclusiva:.... ~ (A B) A B
Negao da condicional:........ ~ (A B) A (~ B)
Negao da bicondicional:..... ~ (A B) [A (~ B)] [B (~ A)]
Pela teoria da involuo: A B (~ A) B
Pela Contrapositiva:

A B ( ~ B) (~ A)

10 representao:
Toda vez que Zeca gentil, Teresa reclama.

ndi
Co

o suficie
nte

necess
ri
io
a
nd
Co

Duas proposies compostas so equivalentes, quando ambas

possuem a mesma soluo da tabela-verdade. As principais
equivalncias so:

Dupla negao (Teoria da Involuo)

Seja A uma proposio verdadeira. Logo:
A=V
~A = F
A ~(~A) A dupla negao, gera uma afirmao
~(~A) = V

Uma afirmao formada por um nmero finito de proposies A1, A2,

..., An, que tem como consequncia outra proposio, B,
denominada argumento, quando as proposies A1, A2, ..., An so as
premissas e B a concluso. Se, em um argumento, a concluso for
uma consequncia obrigatria das verdades de suas premissas,
ento, dizemos que este argumento vlido (tautologia)

Dizer que Algum A B logicamente equivalente a dizer que Algum B

A.
Tambm, so equivalentes as expresses seguintes:
Algum brasileiro adotado.
Pelo menos um brasileiro adotado.
Existe um brasileiro que adotado.
Representao em diagrama:

Exemplo: Sejam as premissas A1, A2 e A3 e a concluso B.

A1: Pedro pedreiro e Paulo no msico.
A2: Se Patrcia mdica, ento Paulo Msico.
A3: Ou Ana pintora, ou Patrcia mdica.
Deduo para as concluses:
Lembrando que, para que esse conjunto de premissas forme um
argumento vlido, todas essas premissas devero ser verdadeiras.
Sendo a premissa A1 uma conjuno, suas proposies simples que a
compe sero, necessariamente, ambas, verdadeiras, portanto,
Pedro pedreiro e Paulo no msico.
Sendo a premissa A2 uma condicional, e conhecendo-se o valor de sua
2 premissa simples como falsa, ento sua 1 premissa simples
dever ser, necessariamente, falsa, caso contrrio a premissa A2 ser
falsa. Portanto, Patrcia no mdica.

d) Negativa particular: Algum A no B

Proposies na forma Algum A no B estabelecem que o conjunto A
tem pelo menos um elemento que no pertence ao conjunto B.
Dizer que Algum A no B logicamente equivalente a dizer que:
Algum policial no honesto
Algum policial no honesto
Algum no honesto policial.
Nem todo policial honesto.
Representao em diagrama:

Por ltimo, tem-se que a premissa A3 , representada por uma disjuno

exclusiva se uma de suas partes for verdadeira e a outra, falsa.
Sabendo-se que sua 2 premissa simples falsa, logo, sua
1 premissa simples dever ser, necessariamente, verdadeira, por Negao de uma proposio categrica
conseguinte, conclumos que Ana pintora.
~ (Todo A B) Algum
B: (concluses): Pedro pedreiro; Paulo no msico; Patrcia no
mdica e Ana pintora.

Proposies Categricas
Tipos de proposies formadas com os seguintes termos: todo, algum
e nenhum. So chamadas de proposies categricas.
So classificadas em:
Universais:
Todo A B (afirmativa universal)
Nenhum A B (negativa universal)
Particulares:
Algum A B (afirmativa particular)
Algum A no B (negativa particular)

A no B

~ (Nenhum A B) Algum A B
Pela recprocra da negao, teremos:

~ (Algum A no B) Todo A B
~ (Algum A B) Nenhum A B
Proposies quantificadas ou funcionais
O quantificador universal

O quantificador universal, usado para transformar

proposies abertas em proposies fechadas, indicado pelo
a) Afirmativa Universal: Todo A B
smbolo que se l: qualquer que seja, para todo, para cada.
Tais proposies afirmam que o conjunto A est contido no conjunto Daremos alguns exemplos:
B, ou seja, todo e qualquer elemento de A, tambm elemento de B. 1) ( x )(x + 5 = 9): l-se qualquer que seja x, temos que x + 5 = 9
Observao:
(falsa)
Dizer que Todo A B no significa o mesmo que Todo B A.
2) ( x )(x2 + 2x 6 = 0): l-se para todo x, x2 + 2x 6 = 0 (falsa)
So equivalentes as seguintes expresses:
3) ( x )(x 1 > 7): l-se para cada valor de x, temos que x 1 > 7
Todo homem racional pensador.
(falsa)

Qualquer homem racional pensador.

Cada homem racional pensador.
Representao em diagrama:

O quantificador existencial

O quantificador existencial indicado pelo smbolo:

que se l: existe, existe pelo menos um e existe um. Daremos
alguns exemplos:
1) ( x )(x + 5 = 9): l-se existe um nmero x, tal que x + 5 = 9
(verdadeira)
b) Negativa Universal: Nenhum A B
2) ( x )(x2 + 4x 9 = 0): l-se existe pelo menos um nmero x, tal
Tais proposies afirmam que os conjuntos A e B so disjuntos, isto , que x2 + 4x 9 = 0 (verdadeira)
3) ( x )(3x + 4 > 8): l-se existe um nmero x, tal que 3x + 4 > 8
A e B no possuem elementos em comum.
(verdadeira)
Dizer que Nenhum A B logicamente equivalente a dizer que:
Nenhum flamenguista vascano.
Negao das proposies quantificadas
Nenhum vascano flamenguista.
Representao em diagrama:

c) Afirmativa particular: Algum A B

De maneira geral, proposies da forma Algum A B estabelecem que
o conjunto A tem pelo menos um elemento em comum com o
conjunto B. Contudo, quando dizemos que Algum A B, presumimos
que nem todo A B.

I) Seja uma sentena quantificada, do tipo (x )(A(x)), sua negao ser

dada da seguinte forma: substitui o quantificador universal pelo
existencial e nega-se A(x), obtendo: ( x )(A(x)).
Exemplo: sentena: (x )(x + 4 = 13)
negao: ( x )(x + 4 13)
II) Seja uma sentena quantificada, do tipo ( x )(B(x)), sua negao ser
dada da seguinte forma: substitui o quantificador existencial pelo
universal e nega-se B(x), obtendo: (x )(B(x)).
Exemplo: sentena: ( x )(2x = x2)
negao: (x )(2x x2)