Lgica: Termos e propriedades

Designaes, nomes ou termos so expresses que representam os

seres existentes.
Linguagem Corrente
Portugal
Pedro Nunes
Generosidade
Carteira

Linguagem Matemtica
10
5+2
. . . 4,10
1,2,3

Proposies so expresses a respeito das quais faz sentido dizer se

so verdadeiras ou falsas.
Pedro Nunes ensinou logica

Proposio Verdadeira

Londres a capital do Reino Unido

Proposio Verdadeira

4
10
=
12
3
2 + 3 4 = 20

Proposio Falsa
Proposio Falsa

Em lgica a partir de proposies dadas podemos construir novas proposies.

Para tal, usamos os seguintes Conetivos Lgicos, estando cada um deles
associado a uma operao lgica.

Conetivo

Smbolo

Operao lgica

no

negao

ou

disjuno

conjuno

se ento

implicao

se e s se

equivalncia

Negao (~)
Consideremos a proposio:
: Todos os alunos da Escola estudam Lgica.
A negao desta proposio uma nova proposio que se representa por ~.
Assim,
~ :No verdade que todos os alunos da escola estudam Lgica.
Em linguagem corrente diz-se
~ :Nem todos os alunos da escola estudam Lgica.

Se uma proposio verdadeira, diz-se que tem valor lgico

verdade, que se representa abreviadamente por (V) ou 1 (um);
Se uma proposio falsa, diz-se que tem valor lgico falsidade,
que se representa abreviadamente por (F) ou 0 (zero);

Consideremos a proposio
: 2 + 3 4 = 20
~: No verdade que 2 + 3 4 = 20
ou simplesmente
~: 2 + 3 4 20

Princpio da no contradio

Tabelas de verdade:

Uma proposio no pode ser simultaneamente verdadeira e falsa.

Nota:
A frase A msica de Chopin a mais bela do que a de Mozart no
uma proposio, pois verdadeira para uns e falsa para outros.
No entanto considerada uma proposio a frase Amanh vou ao
cinema, embora no possa dizer o seu valor lgico, posso vir a dizelo amanh.

Professora Susana Dias

Para determinar o valor lgico de uma proposio a partir do valor lgico desta,
utilizamos tabelas de verdade:

Explicaes Matemtica Bsico, Secundrio e Superior

valentina.susana@gmail.com