Disciplina: Lgica Professora: Vera Lucia Fazoli da Cunha Freitas Viana

1 - TERMOS, ENUNCIADOS E PROPOSIES 1.1 - Termos So expresses de linguagem usadas para referncia a objetos. Ex:

1.2 - Enunciados So expresses de linguagem usadas para afirmaes a objetos. Ex:

OBS.: i) Expresses como 5 +, Ana , so expresses mal formuladas, isto , no so termos nem enunciados. ii) Somente frases declarativas afirmativas so consideradas enunciados. No so enunciados frases do tipo: Voc vai sair? (interrogativa). Viva o Brasil! (exclamativa). V para dentro. (imperativa). iii) Entre os termos que ocorrero em nossa linguagem alguns sero ditos: a) Constantes - quando, no decorrer de um mesmo contexto, designam um mesmo objeto. Ex:

b) Variveis - quando, no decorrer de um mesmo contexto, designam um objeto qualquer, um objeto indeterminado. Ex:

1.3 - Proposio Todo enunciado ao qual podemos atribuir um e um s dos dois valores de julgamento, verdadeiro (V) ou falso (F), sem outra alternativa. Ex:

Contra-ex:

Conveno: designaremos as proposies pelas letras p, q, r, s, ... 1.4 - Enunciados Abertos (funes proposicionais) Diz-se que um enunciado aberto quando nele ocorre varivel livre. Ex:

1.5 - Campo ou domnio de uma varivel um conjunto de objetos (constantes) relativamente ao qual as variveis foram usadas. Por exemplo, para x uma cidade do Estado do Rio de Janeiro, o campo ou domnio da varivel x poderia ser o conjunto de todas as cidades do norte fluminense; ou ainda: o conjunto de todas as cidades fluminenses, ou o conjunto de todas as cidades brasileiras, etc. 2 - QUANTIFICADORES

2.1

Considerando-se

um

enunciado

aberto,

podem

resultar

trs

situaes decorrentes da substituio de suas variveis por constantes que designam objetos de seu campo: 1 - todas as proposies obtidas so verdadeiras. 2 - apenas algumas proposies so verdadeiras. 3 - nenhuma das proposies obtidas verdadeira. Por exemplo, consideremos os enunciados; e1 (x): x uma cidade brasileira e2 (x): x uma cidade litornea e3 (x): x uma cidade da Bahia e, para campo ou domnio da varivel o conjunto de todas as cidades fluminenses. Se antepusermos a estes enunciados expresses como qualquer que seja x, existe pelo menos um x, obteremos proposies. Simbolicamente teremos: i) Qualquer que seja, para cada, para todo: universal) ii) Existe pelo menos um, existe um, para algum: existencial) No caso dos enunciados acima, teremos: ( x) (x uma cidade brasileira) uma proposio verdadeira, considerando-se que toda cidade fluminense brasileira. ( x) (x uma cidade litornea) uma proposio verdadeira, considerando-se que, realmente, apenas algumas cidades fluminenses so litorneas. ( x) (x uma cidade da Bahia) uma proposio falsa, considerando-se que nenhuma cidade fluminense cidade da Bahia. 2.2 - Observao:

(quantificador

(quantificador

Diz-se que uma varivel livre (ou que ocorre livre) em um enunciado quando ela no est em conexo com nenhum quantificador (neste caso temos um enunciado aberto). Diz-se que uma varivel ligada , se ela no livre. Se todas as ocorrncias das variveis em um enunciado so ligadas, temos um enunciado fechado (proposio). Exemplos: i) Em ( x) (x > 3) a ocorrncia da varivel x ligada, logo o enunciado dito enunciado dito . , logo o . , ii) Em x > 3 a ocorrncia da varivel x iii) Em ( x) (x > y) a ocorrncia da varivel x enquanto que a ocorrncia da varivel y dito . iv) Em ( x) ( y) (x > y) as ocorrncias das variveis x e y so , logo o enunciado dito

, logo o enunciado

EXERCCIOS 1 - Coloque T ou E ao lado de cada uma das expresses abaixo conforme se tenha, respectivamente, um termo ou um enunciado: a) Maria boa estudante b) x divisvel por 3 c) O casaco de Ana d) 2 + 3 = 5 e) 100 f) se x > 0 ento x = 3 g) x 2 y 2 1 h) o x tal que x > 0 e x < 1 i) Ele uma boa pessoa

j) o conjunto dos x tq x

e x < 2

k) Qualquer que seja o nmero real x, x < 0 ou x = 0 ou x > 0 l) x = y ou x y m) x + y n) Existe um conjunto que no tem elementos 2 - Coloque P ao lado dos enunciados que forem proposies: a) Ele ganhou o Oscar b) Pecuria um bairro de Campos c) x + 2 = 5 d) 1 + 2 = 4 e) Bach comps a msica Eu no sou cachorro no f) Ela aluna da Universidade Candido Mendes g) Nem todo estudante de Lgica estudante de Matemtica h) Nada que simples tcnico i) 2 + 1 3 e 4 x 2 = 9 j) Quaisquer que sejam os nmeros reais x e y, x < y ou x = y ou x > y k) Mnica personagem das histrias de Walt Disney l) Nem tudo que reluz ouro m) Aristteles foi o primeiro sistematizador da Lgica n) Algumas pessoas no gostam de televiso o) ( x) ( y) (x > y) p) 0

R+

q) No existe nmero par e primo r) O nmero par