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.

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);

Pedro Nunes ensinou logica

Londres a capital do Reino Unido

4

12=

10

3

2 + 3 4 = 20

Proposio Verdadeira

Proposio Verdadeira

Proposio Falsa

Proposio Falsa

Princpio da no contradio 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 dize-lo amanh.

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

e 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. Consideremos a proposio : 2 + 3 4 = 20 ~: No verdade que 2 + 3 4 = 20 ou simplesmente ~: 2 + 3 4 20

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

~

V F

F V

~

1 0

0 1

Lgica: Termos e propriedades

Professora Susana Dias Explicaes Matemtica Bsico, Secundrio e Superior valentina.susana@gmail.com