INTRODUO RACIOCNIO LGICO-LGICA MATEMTICA ESTRUTURA LGICA DAS PROPOSIES Para iniciarmos o nosso curso de raciocnio logico, nada

melhor do estudarmos a estrutura das proposies matemticas, j que a partir dessa estrutura que se desenvolve toda a linguagem matemtica com seus smbolos, significados e resultados. Sentenas e Proposies. Toda proposio uma sentena, nem toda sentena uma proposio, Vejamos: Proposio: todo encadeamento de palavras, termos ou smbolos que gera uma afirmao no sentido completo, permite ser julgado ou falso ou verdadeiro. Ou seja, proposio toda orao declarativa que pode ser classificada como verdadeira ou falsa isto , possu um nico valor lgico. Verificaremos alguns exemplos de proposies: IIIIIIIVVO resultado do concurso da PM foi um sucesso. O professor possui muitos compromissos. O Canaim meu amigo. O meu maior do que o seu. Sete maior que cinco.

Sentenas: Nem sempre permite julgar se verdadeiro ou falso. Pode no ter valor lgico. Ou seja, expresses que no podem der chamadas de verdadeiras ou falsas, no formam uma proposio, mas sim uma sentena aberta. Vejamos alguns exemplos: IIIIIIIVVSer que eu vou ganhar agora? Tu s leso, ? Caramba! Que coisa boa! Vai trabalhar. 3x + 4 = 16.

Note que as sentenas interrogativas, exclamativas ou imperativas no admitem um nico valor lgico, Verdadeiro ou Falso. J a sentena V no uma proposio, pois no conseguimos atribuir um nico valor lgico. No item V, acima citado, podemos observar, se X for igual a 4 o valor lgico verdadeiro (V), se for diferente de 4, ento o valor lgico ser falso (F). Concluso: Demonstramos o que queramos concluir, que toda proposio uma sentena, porm nem toda sentena uma proposio. RACIOCNIO LGICO Princpios lgicos das proposies: Toda proposio deve obedecer aos dois princpios seguintes:

III-

Princpio da no contradio: Nenhuma proposio pode ser verdadeira e falsa ao mesmo tempo. Princpio do terceiro excludo: Qualquer proposio ou s verdadeira, ou s falsa, no admitindo uma terceira opo, ou seja, no podendo assumir um terceiro valor lgico.

Quantificadores: So os elementos que transformam as sentenas abertas em proposies. Eles so utilizados para indicar a quantidade de valores que a varivel de uma sentena precisa assumir para que esta sentena torne-se verdadeira ou falsa e assim gere uma proposio. Tipos de quantificadores IQuantificador existencial: o quantificador que indica a necessidade de existir pelo menos um elemento satisfazendo a proposio dado para que esta seja considerada verdadeira.

indicado pelo smbolo um. Exemplo:

, que se l existe, existe um ou existe pelo menos

(r): x R / x 10 (Existe pelo menos um x que pertence ao conjunto dos nmeros reais, que seja maior ou igual a 10). IIQuantificador universal: o quantificador que indica a necessidade de termos todos os elementos satisfazendo a proposio dada para que esta seja considerada verdadeira. indicada pelo smbolo que se l para todo ou qualquer que seja. Exemplo: (s): x R / x < 100 (qualquer x que pertena ao conjunto dos nmeros reais, que seja menor que 100). Proposio composta: Uma proposio chamada composta quando formada a partir de outras propores mais simples, mediante o uso de modificadores, conectivos e condicionais. [modificadores (~), conectivos ( e ) e condicionais ( e )]. Tipos de conectivos: Conjuno e cujo smbolo . Disjuno ou cujo smbolo v.

Tipos de condicionais: Condicional se... ento..., cujo smbolo . (relao de implicao). Condicional ... se e somente se..., cujo smbolo . (relao de equivalncia).

Tipos de proposio composta:

Tautologia: Dizemos que uma proposio composta tautologia, ou seja, uma proposio logicamente verdadeira, quando tem o valor lgico verdadeiro independentemente dos valores lgicos das propores parciais usadas na sua elaborao. Contradio: Dizemos que uma proposio composta uma contradio, ou seja, uma proposio logicamente falsa, quando tem o valor logico falso independentemente dos valores lgicos das proposies parciais usadas na sua elaborao. Contingncia: Dizemos que uma proposio composta e uma contingncia quando ela pode ter os valores lgicos verdadeiro ou falso.

Modificadores: Negao () ou (~): O smbolo que representa a negao uma pequena cantoneira () ou o sinal til (~), antecedendo as proposies. Negao Simples (negao de uma proposio (~p)): a proposio de valor lgico oposto ao de p. Para negar uma Proposio Simples, basta negar a ao do sujeito, isto negar o verbo, e j a tornamos uma negativa. A negao da proposio O Ronaldo macuxi. e O Ronaldo no macuxi. ou falso que o Ronaldo macuxi., e ou No verdade que o Ronaldo macuxi.. Agora vejam a negao da proposio, Voc no vai passar no concurso do Corpo de Bombeiros de Roraima.. IIIVoc vai passar no concurso do Corpo de Bombeiros de Roraima.. No verdade que voc no vai passar no concurso do Corpo de Bombeiros de Roraima.. Pois , isso mesmo, a negao de uma negao uma afirmao!

Simbolizaremos as proposies: IP: A Prixita uma boa mulher. p = ~ p: A Prixita no uma boa mulher. IIq: Pixita foi o meu amor, na juventude. q = ~q: No verdade que Pixita foi a minha meu amor, na juventude. IIIr: Sibita foi meu primeiro caso. r = ~r: falso que Sibita foi minha meu primeiro caso. Podemos observar que negamos as proposies de maneiras diferentes, mas que tinham o mesmo objetivo que era de negar as primcias exemplificadas. CONECTIVOS Conjuno e, representado por ^.

Proposies compostas em que as proposies simples so interligadas pelo conectivo e so ditas conjunes. Simbolicamente, esse conectivo ser representado por ^. Exemplos de proposies composta com presena do conectivo e, ^. Aramuru wapichana e o Karoso ingarik. Proposio 1: Aramuru wapichana. Proposio 2: O Karoso ingarik. Vamos chamar a primeira proposio de p e a segunda proposio de q e o conectivo de ^. Assim podemos representar a frase acima da seguinte forma: p ^q. Vejamos a tabela verdade do conectivo e, ^. Podemos observar que s verdadeira a proposio composta conjuno, quando as duas proposies simples so verdadeiras, nos outros casos, quer seja as duas falsas ou apenas uma falsa e a outra verdadeira a proposio uma falsidade, isto , a proposio composta falsa, ento a proposio p q verdadeira se p e q foram ambas verdadeiras; caso contrrio falso. P V V F F Exemplos: Proposio I: Sibiriko trabalhador. Proposio 2: Siriako primo de Sitibico. Conectivo: e Sibiriko trabalhador e Siriako primo de Sitibiko. Chamaremos a primeira proposio de P a segunda de q e o conectivo de ^. A Frase acima fica assim representada; p q. Sendo o valor lgico de p e q verdadeiro, logo: IIISibiriko trabalhador e Siriako no primo de Sitibiko. O valor lgico da proposio composta falso, pois apenas uma proposio simples verdadeira. Sibiriko no trabalhador e Siriako primo de Sitibiko. O valor lgico da proposio composta falso, pois apenas uma das proposies simples verdadeira. Sibiriko no trabalhador e Siriako no primo de Sitibiko. O valor lgico da proposio composta falso, pois todas as proposies simples so falsas. q v F V F P ^ q V F F F

III-

IV-

Sibiriko trabalhador e Siriako primo de Sitibiko. O valor lgico da proposio composta verdadeiro, pois todas as proposies simples so verdadeiras.

Disjuno ou, representado por v. Recebe o nome de disjuno inclusivo toda proposio composta em que as partes. Isto , as proposies simples estejam unidas pelo conectivo ou, Simbolicamente representadas, esse conectivo por v. A proposio p v q verdadeira se p ou q (ou ambos) forem verdadeiros; caso contrrio falso, isto , uma proposio composta em que as partes estejam conectadas, pelo conectivo ou, verdadeira, basta que pelo menos uma das proposies simples seja verdadeira e uma proposio composta em que as partes estejam conectadas pelo conectivo ou, s falsa se e se somente se todas as partes tenha valor lgico falso. P V V F F Q V F V F P q V V V F

Exemplo: A Juliana bacana ou o Narllos bambam. Proposio 1: A Juliana bacana. Proposio 2: O Narllos bambam. Conectivo: ou A proposio 1 p e a proposio 2 q e o conectivo v. Assim podemos representar a frase acima da seguinte forma: p v q. Sendo o valor lgico de p e q verdadeiro, logo: IIIIIIIVA Juliana no bacana ou o Narllos bambam. O valor lgico da proposio composta verdadeiro, pois a proposio q verdadeira. A Juliana bacana ou o Narllos no bambam. O valor lgico da proposio composta verdadeiro, pois a preposio p verdadeira. A Juliana bacana ou o Narllos bambam. O valor lgico da proposio composta verdadeiro, pois as duas proposies p e q so verdadeiras. A Juliana no bacana ou o Narllos no bambam. O valor logico da proposio composta falso, pois as duas proposies p e q so falsas.

A disjuno ou pode apresentar uma complementao:

Quando acontece a complementao na disjuno, a proposio composta recebe o nome de disjuno exclusivo, pois a proposio composta comea pelo conectivo ou e as suas partes so interligadas tambm pelo prprio conectivo ou e esse conectivo representado simbolicamente por v O valor lgico dessa proposio s verdadeiro se e se somente se apenas uma das partes interligadas pelo conectivo seja verdadeira, isto , a proposio p v q verdadeira se ou p ou q foram verdadeiras, caso contrrio falso. P V V F F Q V F V F v q F V V F

Exemplo: Ou o jaburu tem medo do tatu ou a cobra come o cururu. Proposio 1: O jaburu tem medo do tatu. Proposio 2: A cobra come cururu. Conectivo: ou, ou. A proposio 1 p , a proposio 2 q e o conectivo v A frase ou mesmo a proposi o composta acima pode ser escrito p v q

Sendo o valor lgico de p e q verdadeiro, logo: IIIIIIIVOu o jaburu tem medo do tatu ou a cobra come cururu. O Valor lgico da proposio composta e falso, pois as duas proposies simples so verdadeiras. Ou o jaburu tem medo do tatu ou a cobra no come o tatu. O valor logico da proposio composta verdadeiro, pois apenas uma proposio verdadeira. Ou o jaburu no tem medo do tatu ou a cobra come o cururu. O valor logico da proposio composta verdadeiro pois apenas a proposi o q verdadeira Ou o jaburu no tem medo do tatu ou a cobra no come o cururu. O valor logico da proposio falso, pois as duas proposies simples so falsas.

SE

ENTO : (CONDICIONAL).

Recebe o nome de condicional toda proposio composta em que as partes estejam unidas pelo conectivo Se Ento Simbolicamente, representaremos esse conectivo por uma implicao matemtica. Portanto, vejamos a sentena: Se Kassota irm da Mikilina, ento Karoso primo do Supriano Proposio 1: Kassota irm de Mikilina.

Proposio 2: Karoso primo do Supriano. Conectivo: Se... Ento... Chamaremos a 1 proposi o de p a 2 de q e o conectivo de Assim podemos representar a frase simbolicamente da seguinte forma: p q Sendo o valor logico das proposi es p e q verdadeiro ent o: IIISe Kassota irm de Mikilina, ento Karoso primo de Supriano. O valor logico da proposio composta verdadeiro, pois as duas proposies simples so verdadeiras. Se Kassota irm de Mikilina, ento Karoso no primo de Supriano. O valor logico da proposi o composta falso pois a proposi o simples p verdadeira e a proposi o simples q falsa. Se Kassota no irm de Mikilina, ento Karoso primo do Supriano. O valor logico da proposio composta verdadeiro, pois a primeira primcia falsa e a segunda verdadeira. Se Kassota no irm de Mikilina, ento Karoso no primo do Supriano. O valor logico da proposio composta verdadeiro, pois as duas primcias so falsas.

III-

IV-

Toda proposio composta condicional s tem o valor logico falso se a primeira proposio for verdadeira e a segunda falsa, isto , a proposio p q significa se p for verdadeiro ento q e verdadeiro, se p for falso ento nada dito sobre q. Vejamos a tabela verdade da condicional (se P V V F F ento Q V F V F ) Q V F V V

SE E SOMENTE SE : (BICONDICIONAL)

A proposio composta recebe o nome de bicondicional quando as partes esto unidas pelo conectivo... se e somente se... Simbolicamente, representaremos esse conectivo por uma equivalncia matemtica, isto , p q significa: a proposio p verdadeira se a proposio q verdadeira e a proposio p falsa se a proposio q falsa.

Tm-se a sentena: Prixita namora o Siriako se e somente se , Siriako ganhou na mega sena Proposio 1: Prixita namora Siriako. Proposio 2: Siriako ganhou na mega sena. Conectivo: se e somente se.

Sendo a 1 proposio p e a 2 q e o conectivo de . Ento podemos representar a proposio acima da seguinte forma: p q Sendo o valor lgico p e q verdadeiro, ento: IPrixita namora Siriako se e somente se Siriako ganhou na mega sena. O valor lgico da proposio composta verdadeiro, pois as duas proposies simples possuem valor logico verdadeiro. Prixita namora Siriako se e somente se Siriako no ganhou na mega sena. O valor logico da proposio composta falso, pois a proposio p tem valor logico verdadeiro e a proposio q tem o valor logico falso. Prixita no namora Siriako se e somente se Siriako ganhou na mega sena. O valor logico da proposio composta falso, pois a proposio p tem valor logico falso e a proposio q tem valor logico verdadeiro. Prixita no namora Siriako se e somente se Siriako no ganhou na mega sena. O valor logico da proposio composta verdadeiro, pois as duas proposies simples possuem valor logico falsos.

II-

III-

IV-

Vejamos a tabela verdade da bicondicional (... se e somente se P V V F F Q V F V F

) Pq V F F V

Tautologia: Uma proposio composta formada por duas ou mais proposies p, q, r,... Ser dita uma Tautologia se ela for sempre verdadeira, independente dos valores lgicos das proposies p, q, r,... que a compem. Exemplos: Aramuru brincava de jacar com sua prima Sibita ou Aramuru no brincava de jacar com sua prima Sibita Vejamos se a proposi o p ent o temos (p v ~ p), logo sempre teremos uma parte verdadeira e a outra falsa e o conectivo ou significa que pelo menos uma das proposies simples tem que ser verdadeira, para o valor lgico da proposio composta seja verdadeiro. N o verdade que o professor Aramuru parece com o Brutus ou o professor Aramuru parece com o Brutus Agora se a proposi o q ent o temos (~q v q) novamente teremos uma das proposies simples Falsa e a outra verdadeira e a avaliao lgica da proposio composta a mesma da anterior. Se ilombeta alegre ent o Supriano triste ou ilombeta alegre odemos observar que agora temos duas proposies simples, ao invs de uma nica proposio ou afirmativa e negativa, e ou negativas e afirmativas dos exemplos anteriores. Vamos entender isso melhor: Enquanto aos exemplos anteriores temos apenas p e ~p agora temos ( p q) v p. Representaremos as proposies compostas acima em tabelas verdades. Aramuru brincava de jacar com sua prima Sibita ou Aramuru no brincava de jacar com sua prima sibita p v ~p

P V

~P F

P v ~P V

No verdade que o professor Aramuru parece com o Brutus ou o professor Aramuru parece com o Brutus ~q v q

~q F

q V

~q v q V

Se Pilombeta alegre, ento Supriano triste ou Pilombeta alegre P V V F F Q V F V F Pq V F V V P V V F F

(p q) v p

(p q) v p V V V V

Logo temos uma TAUTOLOGIA. CONTRADIO: Uma proposio composta formada por duas ou mais proposies p, q, r,... ser dita uma contradio se ela for sempre falsa, independentemente dos valores lgicos das proposies p, q, r,... que a compem. Exemplos: Waldilson professor de matemtica e Waldilson no professor de matemtica. Isabel no linda ou Isabel linda.

Ao invs de duas proposies, nos exemplos temos uma nica proposio, afirmativa e negativa. Vamos representar as possibilidades em tabelas. P V F ~p F V p ~p F F

O professor Aramuru wapichana e a professora Isabel cearense, e ou o professor Aramuru wapichana ou a professora Isabel cearense. O professor Aramuru wapichana se e somente se a professora Isabel cearense, e ou o professor Aramuru wapichana ou a professora Isabel cearense.

Vamos chamar a primeira proposio de p e a segunda de q, isto , p: O professor Aramuru wapichana e q: A professora Isabel cearense. Chamaremos os conectivos e de , o ou, ou de e ...se e somente se... de p V V Q V F Pq V F Pq V F p q F V (pq)(p q) F F (pq)(p q) F F

F F

V F

F F

F V

V F

F F

F F

A tabela acima demonstra CONTRADIO. OPERAES BSICAS COM CONECTIVOS LGICOS

Equivalncia lgica So proposies que apresentam a mesma tabela verdade, ou seja, so proposies que expressas de um modo diferente possuem o mesmo valor lgico. Logo, duas proposies so logicamente equivalentes (ou simplesmente que so equivalentes) quando so compostas pelas mesmas proposies simples e os resultados de suas tabelasverdade so idnticos. A equivalncia logica entre duas proposies, p e q, pode ser representada simbolicamente como: p q, ou simplesmente por p = q. Exemplos de equivalncias: O professor Everton paraense e paraense = o professor Everton paraense. (p p) = p, p e p = p.

P V F

p V F

Pp V F

Edson manda na Maria Fontenele ou na Maria Fontenele = Edson manda na Maria Fontenele. (p v p) = p, p e p = p. P V F p V F pvp V F

Se Boa vista a Capital de Roraima ento Manaus a Capital do Amazonas. (p q). Se Manaus no a Capital do Amazonas ento Boa Vista no a Capital de Roraima. (q p) ou (~q ~p). P V V F F Q V F V F q F V F V p F F V V pq V F V V q p V F V V

Podemos verificar que as duas proposies possuem a mesma tabela verdade (valorao), portanto so equivalentes. P Q = Q P (Representao da equivalncia lgica)

O professor Aramuru vai se aposentar se e somente se a professora Isabel se aposentar. (p q ) Se o Professor Aramuru se aposentar ento a professora Isabel se aposenta e se a professora Isabel se aposentar ento o professor Aramuru se aposenta. (p q) (q p). P V F F V Q V F V F Pq V V V F Qp V V F V (pq)(qp) V V F F (pq) V V F F

(P Q) (Q P) (P Q). (Representao equivalncia lgica) Se como ento sou gordo. (p q) Se no sou gordo ento no como. (~q ~ P) P V F F V Q V F V F ~P F V V F ~Q F V F V (P Q) V V V F (~ Q ~ P) V V V F

(p q) = (~q ~p). (Representao equivalncia lgica). Se como ento sou gordo. (p q) No sou gordo ou no como. (~q v ~ p)

P V F F V

Q V F V F

~P F V V F

(P Q) V V V F

(~P v Q) V V V F

(p Q) = (~p v q) = (~q ~P) Conectivos que so comutativos (podem trocar a ordem das proposies simples e a soluo continua a mesma): v, , . Exemplos: (P q) = (q p) (P v q) = (q v p) (P q) = (q p)

Conectivo que no comutativo (no podemos trocar a ordem): (P q)(q )

Negao de uma proposio composta: Para negarmos uma proposio composta, conjuntiva, isto , ligadas pelos conectivos operacionais e e ou, devemos utilizar propriedade distributiva, similar quela utilizada em lgebra na matemtica. Negao da operao da Conjuno. (p e q),(p ou q) e ( ou p ou q). (P ^ Q ) = P v Q (Lei de Morgan)

Para negarmos uma proposio composta ligada pelo conectivo operacional e, basta negarmos ambas as proposies individuais (simples) e trocarmos o conectivo e pelo conectivo ou, ou o conectivo ou pelo conectivo e. Ou seja, transformaremos uma conjuno em uma disjuno ou uma disjuno em uma conjuno, mas quando a disjuno for exclusivo ou, ou pela equivalncia... se e somente se... Vejamos a tabela: PROPOSIO OU CONECTIVO P ~P Exemplos: Vamos negar as sentenas com os conectivos e, ou e ou, ou, abaixo. O professor Aramuru passa as frias no Uiramut e o professor Frana no passa as frias em Tocantins = (p ~q). A negao fica: O professor Aramuru no passa as frias no Uiramut ou o professor Frana passa as frias em Tocantins= ~(p ~ q) = ~(p) ~() ~ (~q) = (~P q). O professor Aramuru no passa as frias no Uiramut e o professor Frana no passa as frias em Tocantins = (~p ~q). A negao fica: O professor Aramuru passa as frias no Uiramut ou o professor Frana passa as frias em Tocantins = ~(~p ~q) = ~ (~p) ~() ~ (~q) = (p q). NEGAO ~P P

Podemos, atravs de a tabela verdade confirmar a negao da proposio.

P V V F F

q V F V F

Pq V F F F

(p q) F V V V

~p F F V V

~q F V F V

p q F V V V

O professor Aramuru passa as frias no Uiramut ou o Professor Frana passa as frias em Tocantins = (p q). A negao fica: O professor Aramuru no passa as frias no Uiramut e o Professor Frana no passa as frias em Tocantins = ~(p q) = ~(p) ~() ~(q) = (~p ~q).

O professor Aramuru no passa as frias no Uiramut ou a professor Frana passa as frias em Tocantins = (~p q). A negao fica: O professor Aramuru passa as frias no Uiramut e o professor Frana no passa as frias em Tocantins = ~(~p q) = ~(~p) ~() ~(q) = (p ~q).

Pela tabela verdade, podemos confirmar a negao da proposio.

P V V F F

q V F V F

Pq V V V F

(p q) F F F V

p F F V V

q F V F V

p q F F F V

Ou o professor Aramuru passa as frias no Uiramut ou o professor Frana passa as frias em Tocantins = (p q). A negao fica: O professor passa as frias no Uiramut se e somente se o professor Frana passa as frias em Tocantins = (p q)

Podemos verificar a confirmao da negao pela tabela verdade. P V V F F q V F V F Pq F V V F (p q) V F F V (p q) V F F V

Obviamente podemos perceber que a negao de uma estrutura bicondicional tambm uma disjuno exclusiva. Negao de um condicional (p q) e (p q). Negao de uma operao condicional ou implicao- (se, ento ). Para negarmos uma proposio condicional, repete-se a primeira parte troca-se o conectivo por e e nega-se a segunda parte. Vamos recordar as propriedades de equivalncia demonstradas anteriormente. (p q) = (~p q). Se o professor Wendel lgico, ento o professor Bolvar terico = (p q) = (~p q). A negao fica: O professor Wendel lgico e o professor Bolvar no terico = ~(p q) = ~(~p q) = ~(~p) ~() ~(q) = (p ~q). P V V F F Q V F V F (P Q) V F V V (P Q) F V F F Q F V F V (P Q) F V F F

Verifica-se e confirma-se a negao pela tabela verdade.

Negao condicional (... se e somente se...) Sabendo que a bicondicional igual a dois condicionais, recordaremos as propriedades de equivalncia, para negarmos uma bicondicional. (p q) = (p q) (q p). O professor Aramuru vai se aposentar se e somente se a professora Izabel se aposentar = (p q) = (p q) (q p). A negao fica: O professor Aramuru vai se aposentar e a professora Isabel no vai se aposentar, ou a professora Isabel vai se aposentar e o professor Aramuru no vai se aposentar = ~ (p q) = ~ (p q) ~ () ~ (q p) = (p ~q) (q ~p).

p V V F F

Q V F V F

p F F V V

q F V F V

(P q) V F F V

(pq) F V V F

(p q) F V F F

(qp) F F V F

(pq)(qp) F V V F

Verifica-se a veracidade da negao pela tabela verdade.

ARGUMENTOS COM: TODO, ALGUM E NENHUM.

Argumentos: chama-se argumento a afirmao de que um grupo de proposies iniciais redunda em outra proposio final, que ser consequncia das primeiras. Estudaremos aqui apenas os argumentos que podemos resolver por diagramas, contendo as expresses: Todo, algum nenhum ou outros similares. Exemplos: Todos os ndios da Raposa Serra do Sol so Caribes. Todos os ndios ingariks so da Raposa Serra do Sol.

Assim, caso as proposies, argumentos, estejam corretos, podemos concluir que: Concluso: Todos os ndios ingariks so caribes. Nem todos os argumentos so vlidos. Estaremos, em nosso estudo dos argumentos lgicos, interessados em verificar se eles so vlidos ou invlidos. Proposies Categricas Universal Afirmativa: Todo A B ou Qualquer A B. Universal Negativa: Todo A no B ou Nenhum A B.

Particular Afirmativa: Algum A B ou Alguns As so Bs. Particular Negativa: Algum A no B ou Alguns As no so Bs.

Proposies cujo sujeito consiste em um nome prprio. Exemplo: Scrates mortal, Fulano A, Beltrano B etc. So chamadas de proposies singulares.

SENTENA PARA TODO x (elemento) EXISTE x (elemento)

SIMBOLOGIA (x) (x)

Smbolo

Nome Negao Disjuno Conjuno Condicional Bicondicional

Exemplo P PQ PQ PQ PQ

Significado No P P ou Q PeQ Se P, ento Q P se, e s se, Q

Alternativas ~P; P

P & Q; P.Q P Q; P Q P Q; P Q

Quantificador universal Quantificador existencial Varivel proposicional

x F x

Tudo F

(x); (x); x

x Fx

Algo F

(x); (x); Vx

P, Q, R, etc. m, n, o,etc. F, G, H, etc. x, y, z,etc.

Scrates mortal

p, q, r, etc.; A, B, C, etc.

Nome prprio

Scrates

a, b, c, etc.

Predicado

Fx

ser mortal

P, Q, R, etc.

Varivel Martelo sintctico

Fx

ser mortal P deriva-se de P e Q P uma

PQ

Martelo semntico

PQ

consequncia de PeQ

Sinal de concluso Varivel de classe

PQP

P e Q; logo, P

A, B, C, etc.

Todo o A B

Todos os homens so mortais

F, G, H, etc.