Prof. Robson Rodrigues da Silva
www.robson.mat.br
[email protected]
PROPOSIÇÃO: Sentenças declarativas afirmativas
(expressão de uma linguagem) da qual tenha
sentido afirmar que seja verdadeira ou que seja
falsa.

A Lua é um satélite da Terra

Recife é a capital de Pernambuco

Matemática é uma ciência.

VASCO DA GAMA descobriu o Brasil

3 / 5 é um número inteiro
CARLOS É CARECA E JONAS É ALTO.
p
q
p^q
Outros conectivos lógicos
SE NÃO CHOVER ENTÃO ANA VAI AO CLUBE.
q
p
p
q
CARLOS É CARECA E JONAS É ALTO.
p
q
CARLOS É CARECA OU JONAS É ALTO.
p
q
SE NÃO CHOVER ENTÃO ANA VAI AO CLUBE.
p
q
ANA VAI AO CLUBE SE E SOMENTE SE NÃO CHOVER.
p
q
1. Classifique em V ou F
a) ( F ) 2 + 2 = 5
b) ( V ) 2 + 2 = 5  3 + 4 = 7
c) ( V ) A capital do Brasil é Buenos Aires  O Sol é uma estrela.
d) ( V ) 2.5 = 10  9 = 3
2. Apresentar as negações das sentenças abaixo:
a) João é loiro
João não é loiro
e Maria é morena.
ou Maria não é morena.
~(p  q) eq ~p  ~q
2. Apresentar as negações das sentenças abaixo:
Se Marcos é brasileiro, então ele é latino-americano.
Marcos é brasileiro e não é latino-americano.
~(p q) eq p  ~q
2. Apresentar as negações das sentenças abaixo:
Todo número irracional é real.

Existe pelo menos um número irracional que
não é real.

3. Demonstre a equivalência: p  q eq ~p  q
p
q
V
V
V
F
F
V
F
F
~p
pq
~p  q