Lógica

10º ano

Prof. Mónica Pinto

Proposição é uma expressão que traduz uma afirmação
suscetível de ser verdadeira ou falsa.

Propriedade

Princípio de não contradição:

Uma proposição não pode ser simultaneamente verdadeira e falsa.

Toda a proposição tem um, e só um, valor lógico: V ou F .

Prof. Mónica Pinto
Das seguintes expressões, indica as que são proposições

Faro é uma cidade linda Não é

2+3=5 Sim, é

Todos os números ímpares são primos Sim,

é
O menor número natural Não
é

Prof. Mónica Pinto

As expressões seguintes são proposições:

a) Londres é a capital do Reino Unido. Proposição Verdadeira

b) O rio Douro nasce na Serra da Estrela. Proposição Falsa

c) Todos os números ímpares são primos Proposição Falsa

d) Proposição Verdadeira

Prof. Mónica Pinto

Na lógica, a partir de proposições dadas podemos construir novas
proposições.
Para tal, usamos os seguintes conetivos lógicos, estando cada um
deles associado a uma operação lógica.

Conetivo Símbolo Operação lógica

não negação
ou disjunção
e conjunção
se … então … implicação
… se e só se … equivalência

Prof. Mónica Pinto

Considera as seguintes proposições:

Traduz, em linguagem corrente, as seguintes proposições

A temperatura do ar é 25 graus centígrados mas a humidade

AAtemperatura
Nemtemperatura do
doararnão
a temperatura é ar
25éégraus
25
25graus
centígrados
centígrados
ou anem
humidade
relativa do ar não édo70% graus centígrados a
relativa dorelativa
humidade ar é 70%
do ar é 70%

Prof. Mónica Pinto

Considera agora as proposições

p: passas o ano

q : dou-te uma bicicleta

Como escreverias simbolicamente a proposição

Se passares o ano, então dou-te uma bicicleta

Prof. Mónica Pinto

Operações com proposiçoes
 Negação
Consideremos, por exemplo, a
proposição:
Tabela de verdade
A Maria gosta de bolos.
e a proposição:
A Maria não gosta de bolos.

A segunda proposição nega o que

afirma a primeira.

A negação de uma proposição é uma outra proposição que é

verdadeira se a primeira proposição for falsa e é falsa se a primeira
for verdadeira.

Prof. Mónica Pinto

 Conjunção
Consideremos, por exemplo, a
proposição:
Tabela de verdade
A Maria gosta de bolos e o Manuel
gosta de sandes.
que resulta da ligação das proposições:
A Maria gosta de bolos.
O Manuel gosta de sandes.
pela palavra e.

A conjunção p Ʌ q de duas proposições p e q é uma proposição

que é verdadeira se, e só se, p e q forem ambas verdadeiras.

Prof. Mónica Pinto

 Disjunção
Consideremos, por exemplo, a
proposição:
Tabela de verdade
A Maria gosta de bolos ou a Maria
gosta de sandes.
que resulta da ligação das proposições:
A Maria gosta de bolos.
A Maria gosta de sandes.
pela palavra ou.

A disjunção p V q de duas proposições p e q é uma proposição que

é falsa se, e só se, p e q forem ambas falsas.

Prof. Mónica Pinto

 Implicação
Consideremos, por exemplo, a
proposição:
Tabela de verdade
Se a Maria acordar cedo, então vai à
praia.
Esta proposição é a composta das
proposições:
A Maria acorda cedo.
A Maria vai à praia.

A implicação p q entre duas proposições p e q é uma nova

proposição que é falsa se, e só se, o antecedente p é verdadeiro e
o consequente q é falso.

Prof. Mónica Pinto

 Equivalência
Consideremos, por exemplo, a
proposição:
Tabela de verdade
A Maria vai à praia se e só se acordar
cedo.
Esta proposição é a composta das
proposições:
A Maria vai à praia.
A Maria acorda cedo.

A equivalência p q entre duas proposições p e q é uma nova

proposição que é verdadeira apenas no caso de p e q terem
ambas o mesmo valor lógico.

Prof. Mónica Pinto