Lgica I Universidade Federal de Ouro Preto Introduo Lgica: Exerccios Resolvidos Por Fernanda Belo Gontijo Professor Desidrio

o Murcho EXERCCIOS P. 31 1. Explique a noo de forma lgica. A forma lgica o tipo de estrutura que permite determinar a validade de alguns tipos de argumentos.

2. Defina lgica formal. A lgica formal a parte da lgica que investiga a validade ou invalidade de um argumento dedutivo analisando a sua forma lgica.

3. Assinale o valor de verdade das seguintes afirmaes:

a) Os

argumentos

que

tm

uma

forma

vlida

so

vlidos.

VERDADEIRO.

b) Os argumentos que tm uma forma invlida so invlidos. FALSO.

EXERCCIOS P. 33

1. O que uma varivel proposicional? Defina e d exemplos. Uma varivel proposicional um smbolo (letra maiscula) que representa lugares vazios que s podem ser ocupados por proposies. No argumento

Se matar errado, ento o assassinato errado. Matar errado. Logo, o assassinato errado.

Podemos substituir as duas proposies e a concluso pelos smbolos a seguir: PQ P Q

As variveis proposicionais deste argumento so P e Q. As letras mais utilizadas so P e Q, contudo no so as nicas. Se substituirmos o argumento abaixo:

Se a casa chegou ser pintada, ento porque um dia foi construda. A casa chegou a ser pintada. Logo, um dia foi construda.

por

TU T U

as variveis proposicionais sero as letras T e U e apesar das letras serem diferentes, tanto o primeiro quanto o segundo argumento mantm a mesma forma lgica.

2. O que um operador proposicional? Defina e d exemplos. Um operador proposicional uma expresso que se pode acrescentar a uma proposio formando novas proposies. Ele se aplica somente a uma proposio completa, no se aplica a partes de proposies. Seguem os exemplos abaixo. Em Jos ser escolhido para o time titular e Joo ficar no banco de reservas, o operador proposicional a expresso e, que une a primeira proposio com a segunda. Mas seria incorreto usar o operador proposicional e (ou qualquer outro) para unir a primeira proposio com uma parte da segunda como banco, de modo a formar a proposio expressa pela frase Jos ser escolhido para o time titular e banco. Na proposio expressa pela frase Ou a vida faz sentido ou trabalhar no vale a pena o operador proposicional ou que une A vida faz sentido com Trabalhar no vale a pena. Se tentssemos unir apenas uma parte da primeira proposio como A vida com a segunda proposio completa para formar Ou a vida ou trabalhar no vale a pena tambm seria incorreto.

3. Assinale os operadores presentes nas proposies expressas a seguir e reescreva-as sem os operadores.

a) Aristteles pensava que a virtude era o centro da tica. Operador proposicional: Aristteles pensava que. A virtude era o centro da tica.

b) Ou Deus existe ou a Bblia est enganada. Operador proposicional: Ou Deus existe; a Bblia est enganada.

c) Tanto Plato como Aristteles eram filsofos gregos. Operador proposicional: Tanto... como... Plato era um filsofo grego. Aristteles era um filsofo grego.

d) No h lobisomens. Operador proposicional: no H lobisomens.

EXERCCIOS P. 35

1. O que um operador proposicional verofuncional? Defina e d exemplos. Um operador proposicional verofuncional quando o valor de verdade da proposio com o operador inteiramente determinado pelo valor de verdade da proposio ou proposies sem o operador. Em Belo Horizonte uma cidade e Bauru uma cidade o operador e verofuncional porque o valor de verdade da proposio em causa inteiramente determinado pelo valor de verdade das suas proposies componentes: verdadeira se, e s se, ambas as proposies componentes forem verdadeiras. Em Necessariamente, ou o cu de dia azul o operador necessariamente no verofuncional porque o valor de verdade da proposio completa no inteiramente determinado pelo valor de verdade da proposio componente: sendo verdade que o cu de dia azul, isso no determina que seja necessrio que o cu de dia seja azul.

2. O que so as condies de verdade de um operador proposicional? As condies de verdade so as circunstncias que tornam uma proposio verdadeira ou falsa.

3. O que uma tabela de verdade e para que serve? Uma tabela de verdade um dispositivo grfico que permite exibir as condies de verdade de uma forma proposicional dada. Ela serve para mostrar em que circunstncias uma dada forma proposicional verdadeira ou falsa.

4. Por que razo a tabela de verdade da disjuno tem exatamente quatro filas, e no outro nmero qualquer?

Porque quando temos duas variveis proposicionais ligadas por uma disjuno, h quatro condies de verdade que resultam da combinao dos dois valores de verdade possveis (verdadeiro e falso) de P e Q, podendo ser as variveis: ambas verdadeiras; a primeira verdadeira e a segunda falsa; a primeira falsa e a segunda verdadeira; ambas falsas.

5. Considere-se a disjuno A vida tem sentido ou a felicidade no possvel.

a) Admitindo que a vida tem sentido, a disjuno verdadeira ou falsa? Porqu? Se admitirmos que uma disjuno inclusiva, sendo a primeira disjunta verdadeira, a disjuno verdadeira porque independente da segunda disjunta ser verdadeira ou falsa a disjuno ser verdadeira. Mas se admitirmos que a disjuno exclusiva ser preciso saber o valor de verdade de a felicidade no impossvel para saber se a disjuno verdadeira ou falsa, porque numa disjuno exclusiva quando duas disjuntas possuem o mesmo valor de verdade, so falsas e quando possuem valores diferentes, so verdadeiras.

b) Admitindo que a vida no tem sentido e que no sabemos se a felicidade possvel, possvel saber se a disjuno verdadeira ou falsa? Porqu? No possvel. Admitindo que a vida no tenha sentido, ento a primeira disjunta falsa. Assim, para que esta disjuno seja verdadeira necessrio que a segunda disjunta seja verdadeira. Se no temos como saber se a segunda ou no verdadeira, no temos como determinar se a disjuno em questo verdadeira ou falsa. EXERCCIOS P. 36

1. Assinale quais das seguintes disjunes so inclusivas e quais so exclusivas, explicando porqu:

a) Ou a arte no pode ser definida ou Weitz no tem razo. EXCLUSIVA. Weitz defendia que a arte no podia ser definida, assim, Weitz no tem razo implica (conceptualmente) A arte pode ser definida. Logo, trata-se de uma disjuno exclusiva.

b) O Asdrbal foi pelas escadas ou pelo elevador. EXCLUSIVA. Porque o Asdrbal no pode estar em dois lugares ao mesmo tempo, a verdade da primeira disjunta implica conceptualmente a falsidade da segunda.

c) O universo indeterminado ou no temos livre-arbtrio. INCLUSIVA. A indeterminao do universo no implica conceptualmente que temos livre-arbtrio.

d) O Mrio est em Luanda ou em Lisboa. EXCLUSIVA. Porque o Mrio no pode estar em dois lugares ao mesmo tempo, a verdade da primeira disjunta implica a falsidade da segunda.

EXERCCIOS P. 40 1. Considere-se a conjuno A vida tem sentido e a felicidade real.

a) Admitindo que a vida no tem sentido, a conjuno verdadeira ou falsa? Porqu? falsa porque uma conjuno s pode ser verdadeira se as duas conjuntas que a formam forem verdadeiras. Admitindo que a vida no tem sentido, A vida tem sentido uma conjunta falsa, o que torna a conjuno falsa.

b) Admitindo que a vida tem sentido e que no sabemos se a felicidade real, possvel saber se a conjuno verdadeira ou falsa? Porqu?

No possvel porque uma conjuno s verdadeira quando as duas conjuntas que a formam so verdadeiras. Se admitirmos que a primeira conjunta verdadeira, mas no soubermos se a segunda ou no verdadeira, no possvel saber se a conjuno formada pelas duas verdadeira ou falsa. c) Admitindo que a vida tem sentido, a conjuno A vida no tem sentido e a felicidade real verdadeira ou falsa? Porqu? falsa porque admitindo que a vida tem sentido, A vida no tem sentido uma proposio falsa e uma conjuno s pode ser verdadeira se as duas conjuntas que a formam forem verdadeiras.

2. Por que razo a tabela de verdade da negao tem apenas duas filas e no quatro? Porque o operador de negao se aplica a uma s proposio e no a duas; deste modo, s h duas possibilidades a considerar no que respeita proposio sem o operador. EXERCCIOS P. 44 1. Considere-se a condicional Se Deus existe, a vida tem sentido. a) Admitindo que Deus no existe, a condicional verdadeira ou falsa? Porqu? verdadeira porque se a antecedente for falsa, como o caso, independente de a conseqente ser verdadeira ou falsa, pela lgica clssica, a condicional verdadeira.

b) Admitindo que Deus existe e que no sabemos se a vida tem sentido, possvel saber se a condicional verdadeira ou falsa? Porqu? No, porque se a antecedente for verdadeira, para que a condicional seja verdadeira, preciso que a conseqente tambm seja e se no

soubermos se a conseqente verdadeira ou falsa no temos como saber se a condicional ser verdadeira ou falsa.

c) Admitindo que a vida tem sentido, a condicional verdadeira ou falsa? Porqu? verdadeira porque na lgica clssica a condicional s falsa caso a antecedente seja verdadeira e a conseqente falsa.

2. Recorrendo a tabelas de verdade e a exemplos de proposies, explique por que razo a bicondicional comutativa, mas a condicional no. A condicional no comutativa porque Se o Joo est em Paris, est em Frana no tem o mesmo valor de verdade em todas as circunstncias que Se o Joo est em Frana, est em Paris:
PQ V F V V QP V V F V

PQ VV VF FV FF

Todavia, a bicondicional comutativa, porque em todas as circunstncias Plato era grego se, e s se, nasceu na Grcia tem o mesmo valor de verdade que Plato nasceu na Grcia se, e s se, era grego:

PQ VV VF FV FF

PQ V F F V

QP V F F V

Contudo, dado que uma bicondicional apenas a conjuno de duas condicionais, poder parecer estranho que a bicondicional seja comutativa, quando a condicional no o . Mas isso explica-se analisando cuidadosamente a seguinte tabela de verdade:
(P Q) (Q P) V F V V V F F V V V F V

PQ VV VF FV FF

Como se v, a conjuno das duas condicionais comutativa apesar da no comutatividade das condicionais componentes, porque irrelevante qual das variveis, P ou Q, falsa: desde que uma delas o seja, a conjuno falsa. 3. Considere-se a bicondicional Deus existe se, e s se, a vida tem sentido.

a) Admitindo que Deus existe e que a vida no tem sentido, a bicondicional verdadeira ou falsa? Porqu? falsa porque a bicondicional s verdadeira quando as duas proposies que a formam tm o mesmo valor de verdade. Neste caso, a primeira verdadeira e a segunda falsa. b) Admitindo que Deus no existe e que a vida no tem sentido, a bicondicional verdadeira ou falsa? Porqu? verdadeira porque neste caso as duas proposies que formam a bicondicional tm o mesmo valor de verdade.

c) Admitindo que a vida tem sentido mas que no sabemos se Deus existe, possvel saber se a bicondicional verdadeira ou falsa? Porqu? No possvel porque s temos conhecimento do valor de verdade de uma das proposies e numa condicional precisamos saber o valor de verdade das duas proposies que a formam para poder afirmar se ela verdadeira ou falsa.

EXERCCIOS P. 46 1. Formalize as proposies expressas a seguir:

a) Se tudo est determinado, o livre-arbtrio impossvel.

Expresso cannica: Se tudo est determinado, ento o livre-arbtrio no possvel. Interpretao: P: Tudo est determinado. Q: O livre-arbtrio possvel. Formalizao: PQ

b) Sempre que chove, o presidente fica eloqente Expresso cannica: Se chove, ento o presidente fica eloqente. Interpretao: P: Chove. Q: O presidente fica eloqente. Formalizao: PQ

c) No h imortais. Expresso cannica: No h seres no mortais. Interpretao: P: H seres mortais.

Formalizao: P

d) Ou Deus existe ou a vida no faz sentido. Expresso cannica: Ou Deus existe ou a vida no faz sentido. Interpretao: P: Deus existe. Q: A vida faz sentido. Formalizao: P Q

e) O Homem um bpede sem penas.

Expresso cannica: Algo um homem, se e s se, for um bpede sem penas. Interpretao: P: Algo um homem. Q: Algo um bpede sem penas. Formalizao: P Q

f) Nem Kant nem Hegel sabiam ingls. Expresso cannica: Kant no sabia ingls e Hegel no sabia ingls. Interpretao: P: Kant sabia ingls. Q: Hegel sabia ingls. Formalizao: PQ

g) Ser um artefacto no uma condio suficiente para que algo seja uma obra de arte. Expresso cannica: No o caso que se algo um artefacto, ento uma obra de arte. Interpretao: P: Algo um artefato. Q: Algo uma obra de arte. Formalizao: (PQ) EXERCCIOS P. 49

1. Teste a validade das seguintes formas recorrendo a inspetores de circunstncias:

a) P Q, P Q FORMA ARGUMENTATIVA VLIDA PQ VV VF FV FF PQ, V F F F P F F V V Q V F V F

b) PQ, P Q FORMA ARGUMENTATIVA VLIDA PQ VV VF FV FF PQ, V V V F P F F V V Q V F V F

c) PQ P Q FORMA ARGUMENTATIVA INVLIDA PQ VV VF FV FF PQ V F V V PQ V F F V

d) P Q PQ FORMA ARGUMENTATIVA VLIDA PQ VV VF FV FF PQ V F F V PQ V F V V

e) PQ QP FORMA ARGUMENTATIVA INVLIDA PQ VV PQ V QP V

VF FV FF

F V V

F F F

f) PQ QP FORMA ARGUMENTATIVA INVLIDA PQ VV VF FV FF PQ V F V V QP VVV FVV VFF FVF

g) P Q, Q P P Q FORMA ARGUMENTATIVA VLIDA PQ VV VF FV FF PQ, V F V V QP VVV FVV VFF FVF P Q FVV FFF VVV VVF

EXERCCIOS P. 52

1. Indique qual o operador principal nas formas proposicionais seguintes.

a) (P Q) Operador principal:

b) PQ Operador principal:

c) P Q

Operador principal:

d) (P Q) Operador principal:

e) P (QP) Operador principal:

f) P (Q P) Operador principal:

g) (P (QP)) Operador principal:

2. Construa uma tabela de verdade para cada uma das formas proposicionais anteriores.

a) (P Q) Operador principal: PQ VV VF FV FF (PQ) F V V V V F F F

b) PQ Operador principal: PQ VV P F F Q V

VF FV FF

F V V

F V F

F V F

c) P Q Operador principal: PQ VV VF FV FF P F F V V V F F V Q F V F V

d) (P Q) Operador principal: PQ VV VF FV FF e) P (QP) Operador principal: PQ VV VF FV FF P V V F F F V V V (Q F V F V F V F F P) V V F F V F F V (P V V F F F V V F Q) F V F V

f) P (Q P) Operador principal:

PQ VV VF FV FF

P V V F F

F V F F

F V V V

(Q V F V F

V F F F

P) V V F F

g) (P (QP)) Operador principal: PQ VV VF FV FF V F V V (P V V F F F V F F F V V V (Q V F V F V F F F P)) V V F F

3. Formalize as proposies expressas a seguir: a) Sartre no era parisiense se, e s se, Paris era uma cidade alem. Forma cannica: Sartre no era parisiense se, e s se, Paris era uma cidade alem. Interpretao: P: Sartre era parisiense. Q: Paris era uma cidade alem. Formalizao: PQ

b) No verdade que Sartre no era parisiense se, e s se, Paris era uma cidade alem. Forma cannica: No verdade que Sartre no era parisiense se, e s se, Paris era uma cidade alem. Interpretao: P: Sartre era parisiense. Q: Paris era uma cidade alem. Formalizao: (PQ)

c) No h felicidade nem justia. Forma cannica: No h felicidade e no h justia.

Interpretao: P: H felicidade. Q: H justia. Formalizao: PQ

d) No verdade que h ou felicidade ou justia. Forma cannica: No verdade que h ou felicidade ou h justia. Interpretao: P: H felicidade. Q: H justia. Formalizao: (PQ)

e) No h felicidade ou justia. Forma cannica: No verdade que h felicidade ou justia. Interpretao: P: H felicidade. Q: H justia. Formalizao: (PQ)

EXERCCIOS P. 53-54

1. Demonstre a validade ou invalidade das formas anteriores recorrendo a inspetores de circunstncias. Silogismo hipottico: Forma argumentativa vlida Se P, ento Q. Se Q, ento R. Logo, se P, ento R.

PQ, QR PR

PQR VVV VVF VFV VFF FVV FVF FFV FFF

PQ, V V F F V V V V

QR V F V V V F V V

PR V F V F V V V V

Silogismo disjuntivo: Forma argumentativa vlida P ou Q. No P. Logo, Q.

P Q, PQ PQ VV VF FV FF P Q, V V V F P F F V V Q V F V F

Dilema: Forma argumentativa vlida P ou Q. Se P, ento R. Se Q, ento R. Logo, R.

PQ, PR, QR R

PQR VVV VVF VFV VFF FVV FVF FFV FFF

PQ, V V V V V V F F

PR, V F V F V V V V

QR V F V V V F V V

R V F V F V F V F

Modus Ponens: Forma argumentativa vlida Se P, ento Q. P. Logo, Q.

PQ, PQ PQ VV VF FV FF PQ, V F V V P V V F F Q V F V F

Modus tollens: Forma argumentativa vlida Se P, ento Q. No Q. Logo, no P.

PQ, Q P

PQ VV VF FV FF

PQ, V F V V

Q F V F V

P F F V V

Contraposio: Forma argumentativa vlida Se P, ento Q. Logo, se no Q, ento no P.

PQ Q P PQ VV VF FV FF PQ V F V V Q P F V F V V F V V F F V V

Afirmao da conseqente: Forma argumentativa invlida Se P, ento Q. Q. Logo, P.

PQ, Q P PQ VV VF FV FF PQ, V F V V Q V F V F P V V F F

Negao da conseqente: Forma argumentativa invlida Se P, ento Q. No P. Logo, no Q.

PQ, P Q PQ VV VF FV FF PQ, V F V V P F F V V Q F V F V

Inverso da condicional: Forma argumentativa invlida Se P, ento Q. Logo, Se Q, ento P.

PQ QP PQ VV VF FV FF PQ V F V V QP V V V F V V V F F F V F

2. Identifique a forma dos seguintes argumentos, indicando se so vlidas ou invlidas:

a) Se a felicidade for possvel, a vida faz sentido. Logo, se a vida fizer sentido, a felicidade possvel.

PQ QP

PQ VV VF FV FF

PQ V F V V

Q V F V F

V V F V

P V V F F

Resposta: FORMA ARGUMENTATIVA INVLIDA INVERSO DA CONDICIONAL

b) Se Sartre tiver razo, temos livre-arbtrio. Mas no temos livre-arbtrio. Logo, Sartre no tem razo.

PQ, Q P PQ VV VF FV FF PQ, V F V V Q F V F V P F F V V

Resposta: FORMA ARGUMENTATIVA VLIDA MODUS TOLLENS

c) Se a coragem filha do medo, o medo pai da coragem. Logo, se o medo no pai da coragem, a coragem no filha do medo.

PQ Q P PQ VV VF PQ V F Q F V P V F F F

FV FF

V V

F V

V V

V V

Resposta: FORMA ARGUMENTATIVA VLIDA CONTRAPOSIO

d) Se temos livre-arbtrio, Sartre tinha razo. Ora, Sartre tinha razo. Logo, temos livre-arbtrio.

PQ, Q P PQ VV VF FV FF PQ, V F V V Q V F V F P V V F F

Resposta: FORMA ARGUMENTATIVA INVLIDA AFIRMAO DA CONSEQENTE.

e) Se os animais no humanos sentem dor, so dignos de proteo moral. Mas os animais no humanos no sentem dor. Logo, no so dignos de proteo moral.

PQ, P Q PQ VV VF FV FF PQ, V F V V P F F V V Q F V F V

Resposta: FORMA ARGUMENTATIVA INVLIDA NEGAO DA ANTECEDENTE

f) Se Deus existe, a vida tem sentido. Ora, Deus existe. Logo, a vida tem sentido.

PQ, PQ PQ VV VF FV FF PQ, V F V V P V V F F Q V F V F

Resposta: FORMA ARGUMENTATIVA VLIDA MODUS PONENS

EXERCCIOS P. 55-56

1. Determine a forma argumentativa dos seguintes argumentos e teste a sua validade recorrendo a inspetores de circunstncias:

a) Ou o livre-arbtrio possvel ou a nossa vida uma iluso. O livre-arbtrio impossvel. Logo, a nossa vida uma iluso.

Interpretao: P: O livre arbtrio possvel. Q: A nossa vida uma iluso.

Formalizao: PQ, P Q

PQ VV VF FV FF

PQ, V V V F

P F F V V

Q V F V F

FORMA ARGUMENTATIVA VLIDA SILOGISMO DISJUNTIVO

b) Deus existe. Logo, a felicidade eterna possvel.

Interpretao: P: Deus existe. Q: A felicidade eterna possvel.

Formalizao: P Q

PQ VV VF FV FF

P V V F F

Q V F V F

FORMA ARGUMENTATIVA INVLIDA.

c) Se Scrates tem razo, a vida por examinar no vale a pena ser vivida. Logo, a vida por examinar no vale a pena ser vivida.

Interpretao: P: Scrates tem razo. Q: A vida por examinar vale a pena ser vivida.

Formalizao: PQ Q

PQ VV VF FV FF

PQ V F F V V V F V F F V V

Q F V F V

FORMA ARGUMENTATIVA INVLIDA.

d) Aristteles era grego. Aristteles no era grego. Logo, Deus existe.

Interpretao: P: Aristteles era grego. Q: Deus existe.

Formalizao: P, P Q PQ VV VF FV FF P, V V F F P F F V V Q V F V F

FORMA ARGUMENTATIVA VLIDA.

e) A justia possvel se, e s se, Plato tiver razo. Plato no tem razo. Logo, a justia no possvel.

Interpretao: P: A justia possvel. Q: Plato tem razo. Formalizao: PQ, Q P

PQ VV VF FV FF

PQ, V F F V

Q F V F V

P F F V V

FORMA ARGUMENTATIVA VLIDA.

EXERCCIOS P. 57

1. Admitindo que falso que se Deus existe, a vida faz sentido, qual o valor de verdade de Deus existe, mas a vida no faz sentido? VERDADEIRO.

2. Admitindo que verdade que h matria e esprito, qual o valor de verdade de No h matria ou no h esprito? FALSO.

3. Formule primeiro a negao das proposies expressas a seguir, e depois o respectivo resultado:

a) Se a felicidade possvel, a vida tem sentido. Condicional: PQ

Negao: (PQ): No verdade que se a felicidade possvel, ento a vida tem sentido. Resultado: PQ: A felicidade possvel e a vida no tem sentido.

b) H felicidade e justia. Conjuno: PQ

Negao: (PQ): No verdade que h felicidade e justia. Resultado: PQ: No h felicidade ou no h justia.

c) Sartre era alemo ou grego. Disjuno: PQ

Negao: (PQ): No verdade que Sartre era alemo ou grego. Resultado: PQ: Sartre no era alemo e no era grego.

d) Um ser racional se, e s se, sabe escrever cartas de amor. Bicondicional: PQ Negao: (PQ): No verdade que um ser racional se, e s se, sabe escrever cartas de amor. Resultado: (PQ) (PQ): Um ser racional e no sabe escrever cartas de amor ou um ser no racional e sabe escrever cartas de amor.

EXERCCIOS P. 58 1. Formule proposies equivalentes s seguintes:

a) Se a felicidade possvel, a vida tem sentido. Condicional: PQ Proposio equivalente: PQ: A felicidade no possvel ou a vida tem sentido.

b) H felicidade e justia. Conjuno: PQ. Proposio equivalente: (PQ): No verdade que no h felicidade ou no h justia.

c) Sartre era alemo ou grego. Disjuno: PQ Proposio equivalente: (PQ): No verdade que Sartre no era alemo e no era grego.

d) Um ser racional se, e s se, sabe escrever cartas de amor. Bicondicional: PQ Proposio equivalente: (PQ) (QP): Se um ser racional, ento ele sabe escrever cartas de amor e se um ser sabe escrever cartas de amor, ento ele racional.

e) Deus existe. Proposio: P Proposio equivalente: P: No verdade que Deus no existe.

EXERCCIOS P. 60

1. Teste a validade das seguintes formas recorrendo a inspetores de circunstncias:

a) PQ, P R, Q R R PQR VVV VVF VFV VFF FVV FVF FFV FFF PQ, V V F F F F F F P R V F V F V V V V QR V F V V V F V V R V F V F V F V F

FORMA ARGUMENTATIVA VLIDA.

b) P Q, Q R P R PQR VVV VVF VFV VFF FVV FVF FFV FFF PQ, V V F F V V V V Q R V F V V V F V V P R V F V F V V V V

FORMA ARGUMENTATIVA VLIDA.

c) P Q, Q R P R PQR VVV VVF VFV VFF FVV FVF FFV FFF P Q, V V F F F F V V QR V F F V V F F V PR V F V F F V F V

FORMA ARGUMENTATIVA VLIDA.

d) P R QP PQR VVV VVF VFV VFF FVV FVF FFV FFF PR V V V V V F V F QP V V V V V V F F

FORMA ARGUMENTATIVA INVLIDA.

e) P Q, R Q R PQR VVV VVF VFV VFF FVV FVF FFV FFF PQ, V V F F F F F F R V F V F V F V F Q R V F V V V F V V

FORMA ARGUMENTATIVA VLIDA.

f) P Q R Q PQR VVV VVF VFV VFF FVV FVF FFV FFF P Q V V F F V V V V R Q V V F V V V F V

FORMA ARGUMENTATIVA INVLIDA.

2. Apresente argumentos com as formas lgicas que acabou de testar.

a) PQ, P R, Q R R Forma argumentativa vlida Uma rvore uma planta e uma margarida uma planta.

Se uma rvore uma planta, ento uma bromlia uma planta. Se uma margarida uma planta, ento uma bromlia uma planta. Logo, uma bromlia uma planta.

b) P Q, Q R P R Forma argumentativa vlida Se o aborto permissvel em todos os pases, ento permissvel no Mxico. Se o aborto permissvel no Mxico, ento permissvel no Brasil. Logo, se o aborto permissvel em todos os pases, ento permissvel no Brasil.

c) P Q, Q R P R Forma argumentativa vlida O vegetarianismo uma obrigao tica, se e s se, os animais nohumanos sofrem com os hbitos carnvoros dos animais humanos. Os animais no-humanos sofrem com os hbitos carnvoros dos animais humanos se, e s se, os animais no-humanos so seres sencientes. Logo, o vegetarianismo uma obrigao tica se, e s se, os animais no-humanos so seres sencientes.

d) PR QP Forma argumentativa invlida Ou o Amazonas um rio ou o Ganges um rio. Logo, ou existem estrelas maiores que os homens ou o Amazonas um rio.

e) PQ, R Q R Forma argumentativa vlida Os lees so animais e as borboletas so animais. As violetas so plantas. Logo, se as borboletas so animais, ento as violetas so plantas.

f) P Q R Q Forma argumentativa invlida Se a justia um direito, ento a liberdade um direito. Logo, se o trabalho um direito, ento a liberdade um direito.

EXERCCIOS P. 61-62

1. Identifique as seguintes formas lgicas:

a) P (QR) Logo, (Q R) P

AB Logo, BA b) (PR) (QP) Logo, (Q P) (PR)

AB Logo, BA

c) P Q Q Logo, P

AB B Logo, A

d) PQ P Logo, Q

AB A Logo, B