3

Lgica Proposicional
1. Proposio:
Chama-se sentena ou proposio todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. Sentena ou proposio se distinguem do nome, o qual designa um objeto. Exemplos de nomes: Pedro. O co do menino. 43 Exemplos de proposies: 1. A lua um satlite da terra. 2. O filho do Presidente do Brasil, em 1970, era mdico. 3. 3 x 5 = 5 x 3 4. Onde voc mora? 5. Que belo jardim o desta praa! 6. Escreva um verso. 7. Pedro estuda e trabalha. 8. Duas retas de um plano so paralelas ou incidentes. 9. Se Pedro estuda, ento tem xito na escola. 10. Vou ao cinema se e somente se conseguir dinheiro. Na lgica, restringimo-nos a uma classe de proposies, que so as declarativas e que s aceitam dois valores: Verdadeiro (V) ou r falso (F), um excluindo o outro. Assim, exclumos de nossas consideraes: - Proposies exclamativas, como a de n 5. - Proposies interrogativas, como a do n 4. - Proposies imperativas, como a do n 6. So declarativas as de nmeros 1 at 3 e as de 7 at 10. A lgica matemtica adota como regras fundamentais os dois seguintes princpios ou axiomas: ( I ) PRINCPIO DA NO CONTRADIO: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. ( II ) PRINCPIO DO TERCEIRO EXCLUDO: Qualquer proposio verdadeira ou falsa, no podendo ser nada mais do que isso. Por exemplo, as proposies 1 e 3 so ambas verdadeiras, mas as 3 proposies seguintes so falsas: Vasco da Gama descobriu o Brasil. Dante escreveu os Lusadas. Obs: Cames escreveu Os Lusadas. um nmero inteiro. As proposies so geralmente designadas pelas letras latinas minsculas p, q, r, s... (sem ndices ou acentos). Exerccio: 1) Quais so os nomes e quais so as proposies? a) O nmero 3 maior que o nmero 5. b) A terra um planeta c) 9-12 d) 9 e) 8*7 = 56 f) O gato da menina g) Um bom livro de matemtica h) 3 + 5 <> 5 + 3 i) Se chover hoje, ento a rua ficar molhada. j) O sol brilha e queima as plantas. k) Jorge gacho ou Catarinense. l) Um tringulo retngulo se e somente se tem um ngulo reto. m) Tringulo equiltero. n) Se um tringulo retngulo, ento, dois de seus lados so perpendiculares

1.1. Valores Lgicos das Proposies:

Diz-se que o valor lgico de uma proposio p verdade quando p verdadeiro e falsidade quando p falso. Os valores lgicos verdade e falsidade de uma proposio designam-se abreviadamente pelas letras V e F ou pelos smbolos 1 e 0, respectivamente.

Assim, o que os princpios da no-contradio e do terceiro excludo afirmam que: Toda proposio pode assumir um, e somente um, dos dois valores: F ou V ( 0 ou 1 respectivamente). Exerccio: 2) Dar os valores lgicos das proposies abaixo, isto , atribua V ou F para cada uma delas. a) 3+5=8 b) A lua um satlite da terra. c) Colombo descobriu o Brasil. d) Pedro lvares Cabral descobriu a Colmbia. e) o nmero 11 primo. f) (8-3)2 = 82 - 32 g) Um nmero divisvel por 2 par h) 1 e -1 so razes da equao x2-1=0

1.2 Proposies simples e Proposies compostas

As proposies podem se classificadas como simples ou compostas. A proposio simples aquela que no contm nenhuma outra proposio como parte integrante de si mesma. A proposio composta formada pela combinao de duas ou mais proposies simples atravs de um elemento de ligao denominada conectivo. Ex.: Proposio simples P : Zenbio careca. Q: Pedro estudante R: O nmero 25 um quadrado perfeito Proposies compostas P: Zenbio careca e Pedro estudante Q: Zenbio careca ou Pedro estudante R: Se Zenbio careca, ento feliz

As proposies compostas so tambm chamadas de frmulas proposicionais. Constri-se uma proposio composta a partir de duas ou mais proposies simples e do uso de conectivos.

1.3 Conectivos
Definio: Chamam-se conectivos as palavras usadas para formar proposies compostas a partir de proposies simples. Temos 1 conectivo unrio e 4 conectivos binrios. Ex.: P: O nmero 6 par e o nmero 8 o cubo do nmero 2 Q: O tringulo ABC retngulo ou o tringulo ABC issceles R: No est chovendo S: Se Jorge engenheiro, ento sabe matemtica T: O tringulo ABC equiltero se e somente se equingulo (subentende .. o tringulo ABC...) Podemos considerar como conectivos usuais da lgica as palavras grifadas, isto : E, Ou, No, Se ... Ento..., ... Se e somente se... (sse) Exerccio: 3) Dentre as proposies do exerccio 1, quais so: a) Simples: b) Compostas:

1.4 Tabela-Verdade
Construo das tabelas - verdades: Segundo o princpio do terceiro excludo, toda proposio simples p verdadeira ou falsa, isto , tem o valor lgico V (verdade) ou o valor lgico F (falsidade). P V F V P F

O valor lgico de uma expresso composta depende unicamente dos valores lgicos das expresses simples que compem a mesma. Admitindo isso, recorre-se a um dispositivo denominado tabela verdade para aplicar este conceito na prtica. Na tabela verdade figuram todos os possveis valores lgicos da proposio correspondentes a todas as possveis atribuies de valores lgicos s proposies simples componentes. Assim, por exemplo, uma proposio composta cujas proposies simples componentes so p e q pode ter as possveis atribuies: p V V F F q V F V F

1 2 3 4

Neste caso, as combinaes entre os elementos so: VV, VF, FV e FF. As tabelas - verdade so construdas como arranjos dos elementos componentes, e como um elemento pode receber somente os valores V ou F, o tamanho de uma tabela dado pela quantidade de elementos combinados: No caso de uma proposio composta com 3 elementos, teramos 8 combinaes possveis: VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF. p V V V V F F F F q V V F F V V F F r V F V F V F V F

1 2 3 4 5 6 7 8

Observao 1: a ordem das letras pode ser diferente e a combinao entre as letras tambm pode ser dirente da apresentada acima. Deve-se somente tomar o cuidado de no repetir duas combinaes (2 linhas c/ VVF, por exemplo). Observao 2: Para construirmos as tabelas verdade podemos usar as seguintes regras. O nmero de linhas sempre depende do nmero de elementos combinados, e como uma preposio pode assumir os valores V ou F, o nmero de linhas de uma tabela verdade dado por 2n. 1 elemento : 2 l linhas = 2 linhas 2 elementos: 2 l linhas = 4 linhas 3 elementos: 2 l linhas = 8 linhas 4 elementos: 2 l linhas = 16 linhas Para construir a tabela inicia-se sempre atribuindo V, F,V, F,... para o elemento mais direita da tabela, V, V, F, F,... para o segundo elemento da direita para a esquerda, V, V, V, V, F, F, F, F, ... para o terceiro elemento partir da esquerda e assim, sucessivamente. Exerccio: construa uma tabela verdade para 4 elementos: p, q, r, s.

1.5. Notao
O valor lgico para uma proposio simples p indica-se por V(p). Assim, exprime-se que p verdadeiro escrevendo: V (p) = V. Analogamente, pode-se exprimir que a proposio p tem o valor falso utilizando-se V(p) = F. Considerando, por exemplo, as seguintes proposies simples: p: O Sol verde q: um hexgono tem 6 lados r: 2 um nmero mpar s: um tringulo tem 4 lados Temos: V(p)=F V(q)=V V(r) =F V(s) =F

2. Operaes lgicas sobre as Proposies

Quando pensamos, efetuamos muitas vezes certas operaes sobre proposies, chamadas operaes lgicas. Estas obedecem a regras de um clculo, denominado Clculo Proposicional, semelhante ao da aritmtica sobre nmeros. Sero apresentadas, a seguir, as operaes lgicas fundamentais do clculo proposicional.

2.1 Negao (~)

Definio: chama-se negao de uma proposio p a proposio representada por no p, cujo valor lgico verdade (V) quando p for Falso e falsidade (F) quando valor de p verdadeiro. Assim, no p tem o valor oposto do valor de p. A negao de p indica-se com a notao ~p, e lido como no p. O valor lgico da negao de uma proposio definido por uma tabela verdade muito simples: p V F ~p F V ~V = F, ~F = V e V (~P) = ~ V(P)

1 2 Ou seja:

Exemplos: (1) p: 2 + 3 = 5 (V) e ~p: ~(2 + 3 = 5) (F) V (~p) = ~V(p) = ~V = F (2) q: 7 < 3 (F) e V (~p) = ~V(q) = ~F = V (3) ~q: ~(7 < 3) (V)

r: Roma a capital da Frana (F) V (~r) = ~V(r) = ~F = V

Na linguagem comum a negao efetua-se, nos casos mais simples, antepondo o advrbio no ao verbo da proposio dada. Assim, por exemplo, considerando a proposio: p : O Sol uma estrela sua negao : ~p : O Sol no uma estrela Outra maneira de efetuar a negao consiste em antepor proposio dada expresses tais como no verdade que, falso que. Assim, por exemplo, considerando a proposio: q : Carlos mecnico sua negao : ~q : No verdade que Carlos mecnico Deve-se tomar um pouco de cuidado com a negao, porque, por exemplo a negao de Todos os homens so elegantes Nem todos os homens so elegantes e a de Nenhum homem elegante Algum homem elegante.

2.2. Conjuno ( . , ^ )
Definio: chama-se conjuno de duas proposies p e q a proposio representada por p e q, cujo valor lgico a verdade (V) quando as proposies p e q so ambas verdadeiras a falsidade (F) nos demais casos. Simbolicamente, a conjuno de duas proposies p e q indica-se com a notao: p . q, que se l: p e q. O valor lgico da conjuno de duas proposies , portanto, definido pela seguinte tabela verdade: p V V F F q V F V F p.q V F F F

ou seja, pelas igualdades: V . V = V, V . F = F, (p ^ q) = V (p) ^ V (q) Exemplos: (1) F . V, F.F=F e

A neve {qp::25V brancaV }

p . q: A neve branca e 2 < 5 (V) V (p . q) = V(p) . V(q) = V . V = V

(2)

{qp::7Oenxofre verde F } um nmero primoV

p ^ q : O enxofre verde e 7 um nmero primo (F) V (p ^ q) = V(p) ^ V (q) = F ^ V = F

(3)

{qp::CANTOR nasceu na Rssia V } FERMAT era mdico F

p ^ q : CANTOR nasceu na Rssia e FERMAT era mdico (F) V (p ^ q) = V(p) ^ V(p) = V ^ F = F

2.3. Disjuno ( v , + )
Definio: chama-se disjuno de duas proposies p e q a proposio representada por p ou q, cujo valor lgico a verdade( V ) quando ao menos uma das proposies p e q verdadeira e a falsidade (F) quando as proposies p e q so ambas falsas. Simbolicamente, a disjuno de duas proposies p e q indica-se com a notao: p + q, que se l: p ou q. O valor lgico da disjuno de duas proposies , portanto definido pela seguinte tabela verdade: p q p+q V V V V F V F V V F F F V (p + q) = V (p) + V (q) Exemplos: (1)

Paris a capital {qp::94=5V da FranaV }

p + q: Paris a capital da Frana ou 9 4 = 5 V (p + q) = V(p) + V(q) = V + V = V (V)

(2)

p :Cames {22=3 F escreveu os LusadasV }

p + q : CAMES escreveu os Lusadas ou 2 + 2 = 3 V (p + q) = V(p) + V(q) = V + F = V (V)

(3)

p: a Capital da Rssia {5/7Roma frao prpriaV F } uma

p + q : Roma a capital da Rssia ou 5/7 uma frao prpria (V) V (p + q) = V(p) + V(p) = F + V = V

(4)

p : Pel {22=1nasceu na Bahia F } F

p + q: Pel nasceu na Bahia ou 2-2 = 1 V (p + q) = V (p) + V(q)= F + F = F (F)

2.4. Disjuno Exclusiva ( , + )

Na linguagem comum a palavra ou tem dois sentidos. Assim, p. ex., consideremos as duas seguintes proposies compostas: P : Carlos mdico ou professor Q: Mrio alagoano ou gacho Na proposio P se est a indicar que uma pelo menos das proposies Carlos mdico, Carlos professor verdadeira, podendo ser ambas verdadeiras: Carlos mdico e professor. Mas, na proposio Q, bvio que uma e somente uma das proposies Mrio alagoano, Mrio gacho verdadeira, pois, no possvel ocorrer Mrio alagoano e gacho. Na proposio P diz-se que ou inclusivo, enquanto que, na proposio Q, diz-se que ou exclusivo. Em Lgica Matemtica usa-se habitualmente o smbolo + para ou inclusivo e os smbolos +, para ou exclusivo. Assim sendo, a proposio P a disjuno inclusiva ou apenas disjuno das proposies simples Carlos mdico, Carlos professor, isto : P: Carlos mdico + Carlos professor A proposio Q a disjuno exclusiva das proposies simples Mrio alagoano, Mrio gacho, isto : Q: Mrio alagoano Mrio gacho De um modo geral, chama-se disjuno exclusiva de duas proposies p e q a proposio representada simbolicamente por p q, que se l: ou p ou q ou p ou q, mas no ambos, cujo valor lgico verdade (V) somente quando p verdadeira ou q verdadeira, mas no quando p e q so ambas verdadeiras, e falsidade(F) quando p e q so ambas verdadeiras ou ambas falsas. O valor lgico da disjuno exclusiva de duas proposies definido pela seguinte tabela verdade: p V V F F Q V F V F pq F V V F

2.5 Condicional ():

Definio: chama-se condicional uma proposio representada por se p ento q cujo valor lgico falsidade (F) quando p verdadeira e q falsa e verdade (V) nos outros casos. Simbolicamente, a condicional de duas proposies p e q indica-se com a notao pq e pode ser lida das seguintes formas: I. p implica q II. se p ento q

III. IV.

p condio suficiente para q q condio necessria para p

Na condicional pq , diz-se que p o antecedente e o q o conseqente. O smbolo chamado de implicao. Considere o seguinte exemplo: Joo trabalha em uma estao meteorolgica e faz a seguinte afirmao no dia 03 de maro: Se a umidade subir acima de 90 %, ento chover em menos de 24 horas p: A umidade sobe acima de 90 % q: Chover em menos de 24 horas. At o dia 05, embora a umidade estivesse a 95 % durante as ltimas 48 horas, no choveu. Isso significa que a afirmao feita anteriormente era falsa, ou seja: V(p q) : F | V(v f): F
Isso significa que sempre que o antecedente for verdadeiro, o conseqente deve ser verdadeiro para que o resultado de toda a proposio seja verdadeira. O condicional no afirma a veracidade do antecedente e do conseqente, mas a relao existente entre eles.

Ex2.: Se Joo Engenheiro, ento sabe matemtica. A tabela verdade da condicional de duas proposies , portanto: P V V F F q V F V F pq V F V V

1 2 3 4

2.6 Bicondicional ( ):
Definio: chama-se bicondicional uma proposio representada por p se e somente se q cujo valor lgico verdade (V) quando p e q so ambas, verdadeira ou falsas. Simbolicamente, a bicondicional de duas proposies p e q indica-se com a notao p q e pode ser lida das seguintes formas: i. p condio necessria e suficiente para q ii. q condio necessria e suficiente para p iii. p se e somente se q (ser mais utilizado) podendo ter a abreviao p sse q. A tabela verdade da bicondicional de duas proposies , portanto: P V V F F q V F V F Pq V F F V

1 2 3 4

Quando se tem uma bicondicional p q, na verdade implicamos p q, e q p ao mesmo tempo, ou seja, s verdade quando as duas condicionais so verdadeiras. Considerando que p q s verdade quando as duas condicionais pq e qp so verdades, temos falsidade nos casos: pq sendo v(p)= V e V(q) = F e, qp sendo v(q)= V e V(p) = F e, correspondentes s linhas 2 e 3 da tabela verdade. Ex: Joo careca, sse Joo no tem cabelo. Isso na verdade implica: i) Se joo careca, ento Joo no tem cabelo e ii) Se Joo no tem cabelo, ento Joo careca. Obrigatoriamente, as duas proposies simples que compem cada uma das proposies condicionais i e ii devem ser: ambas verdadeiras ou falsas, para a bicondicional ser verdadeira.

10

Exerccios: 4) Classifique cada uma das proposies compostas do exerccio 1: a) conjuno: b) disjuno: c) disjuno exclusiva: d) condicional: e) bicondicional: 5) Seja p a proposio Est frio e q a proposio Est chovendo. Traduzir, para a linguagem corrente, as seguintes proposies: a) ~p b) p.q c) p+q d) q <-> p e) p -> ~q f) q v ~p g) ~p ^ ~q h) p -> ~q i) ~~q 6) Seja p a proposio Jorge rico e q a proposio Carlos feliz. Traduzir, para a linguagem corrente, as seguintes proposies: a) p+q b) q->p c) pv~q d) q<->~p e) ~p->q f) (~p.q)->p 7) Traduza para a linguagem comum, sabendo que p: os preos so altos e q: os estoques so grandes. a) (p.q) ->p b) (p.~q) ->~p c) ~p . ~q d) p+~q e) ~(p.q) f) ~(p+q) g) ~(~p+~q) 8) Seja p a proposio Jorge alto e q a proposio Jorge elegante. Traduzir, para a linguagem simblica, as seguintes proposies: a) Jorge alto e elegante. b) Jorge alto mas no elegante. c) No verdade que Jorge baixo ou elegante. d) Jorge no baixo e nem elegente. e) Jorge alto, ou baixo e elegante. f) No verdade que Jorge baixo ou que no elegante. 9) Determinar o valor lgico (V + F) de cada uma das seguintes proposies compostas: a) Se 1 + 2 = 5, ento 3 + 3 = 6 b) No verdade que 2 + 2 = 7 se e somente se 4 + 4 = 9 c) DANTE escreveu os Lusadas ou 5 + 7 < 2 d) No verdade que 1 + 1 = 3 ou 20 = 1 e) falso que , se Lisboa a capital da Frana, ento Braslia a capital da Argentina. 10) Escrever simbolicamente para p: Joo esperto, q: Jos tolo. a) Joo esperto e Jos tolo. b) Joo esperto ou Jos tolo. c) Ou Joo esperto ou Jos tolo. d) Joo esperto e Jos no tolo 11) Seja p: Vanda aluna e q: Slvia professora. Escreva simbolicamente: Vanda aluna ou no verdade que Slvia seja professora e Vanda seja aluna. 12) Smbolo para: Vanda tem 5 anos ou se Vanda bonita, ento, tagarela.

11

13) Dar os valores das proposies abaixo: a) (8 > 2) . (4 <=4) b) (6 < 10) . (6 > 3/2) c) (6 < 2) + ((4-3) >=1) d) (5 > 8) (4>3) e) (4 < 2) + (2<4) 14) Dar o valor da proposio p nos casos adiantes: a) V(pq) = V e V(q) = V b) V(qp) = V e V(q) = F c) V(q+p) = F e V(q) = F d) V(q+p) = V e V(q) = V 15) Considerando V(p) = F , V(x) = F e V(y) = V a) V(((p + q) . (x + y) ) p ) = b) V(x . y p ) = c) V(p . y . p . x ) =

f) (8-3= 5) -> (2 <= 2) g) (8>10) -> (6-2 = 4) h) (8>10) -> (6 < 5) i) (4 < 2 ) <-> (8-2 = 15)

16) Verificar se a informao dada suficiente para determinar o valor da expresso: a) (p s) r, onde r tem o valor V b) (p+r)+(s q), onde q tem valor F c) ((p+q ) (q.p)) ((r.p)+q), onde o valor de q V. d) ((p q) p, onde o valor de q V. e) ((p q p) p+q, onde o valor de q V. f) (p+q r.p+q), onde o valor de q F.

3. Tabelas-verdades de proposies compostas:

Dadas vrias proposies simples p,q,r,..., podemos combin-las mediante o uso dos conectivos: ~, ., +, , e construir proposies compostas, tais como: (p.(~qp)). ~((p~q)(q+p)) Com o emprego das tabelas-verdades das operaes lgicas fundamentais possvel construir a tabela-verdade correspondente a qualquer proposio composta dada. Logicamente, o valor-verdade final depende dos valores lgicos das proposies componentes. Exerccio: 17) Construir as tabelas-verdades: a) (q.r) + m b) (q+r) ((q+s) (p+s)) c) (p r ) p d) (p r ) p e) (p (q r)) ((p q) (p r )) f) ~ (p + q) (~~p + ~q)

4. Tautologia, contradio e contingncia (indeterminada)

As frmulas proposicionais podem apresentar os seguintes casos quanto s suas tabelas-verdades: a) ltima coluna da tabela-verdade apresenta somente V(s) Frmula tautolgica Tautologia b) ltima coluna da tab. - verdade apresenta somente F(s)Frmula contra-vlidaContradio c) ltima coluna da tabela-verdade apresenta V(s) e F(s) Frmula indeterminada

12

Exerccio: 18) Verificar quais frmulas so contradies, tautologias ou indeterminadas. a) p p+p b) (a b) ((b c) (a c)) c) (a b ) . (b a) d) ~ a a b e) a. (~a + b) f) ~(~p . q ) ~p + ~q

5. Implicao Lgica e Equivalncia Lgica 5.1. Relao de implicao: uma proposio p implica uma proposio q se e somente se p q for uma tautologia. Obs.: o smbolo de operao lgica e o smbolo de relao. Ex.: p . q p q uma vez que a operao condicional gera uma tautologia. Tabela-Verdade:

Exerccio: 19) Verificar as implicaes. a) p p + q b) p . q p c) (p + q) . ~p q d) (p q) . p q e) (p (q r)) q (p r)

5.2. Relao de Equivalncia: uma proposio p equivalente a uma proposio q se e somente se p q for uma tautologia. Obs.: o smbolo de operao lgica e o smbolo de relao.
Ex.: p q e ~p + q so proposies logicamente equivalentes pois possuem a mesma tabela-verdade. Ento dizemos: p q ~p+q Tabela-Verdade:

Exerccio: 20)Verificar as equivalncias. a) ~(p.~p) (p+~p) b) p.(~p+q) (p.q) c) (p (q r)) q (p r)

13

Argumentos
Chama-se de argumento toda a afirmao de que vrias proposies (p1, p2, ..., pn) tm por conseqncia uma outra proposio q. As proposies p1, p2, ..., pn so as premissas, e a proposio q a concluso do argumento. Um argumento escrito da seguinte forma: p, pq, qr r onde:

p, pq, qr
Premissas

concluso

Validade de um argumento atravs da Tabela-verdade: Um argumento valido quando para todas as linhas da tabela verdade onde as premissas forem verdadeiras, a concluso tambm verdadeira. Exemplo: comprove a validade dos seguintes argumentos: a) p, pq q b) pq, q p c) p q, q p

15

Exerccios
a) ~pq, ~p q b) ~p(qr), ~p, q r c) t ~~p, p~q, t ~q d) ~p ~~q, ~~~p q e) p q, rs, p, r q . s f) g) h) i) j) k) p (q . r), p p . q p.qq.p (p . q) (r . s), ~~p, q s pp.p ~p . q u, ~~~p, sq, xr.s, x u s ((p.q)~~r), p.q, t.s r.t v) Hoje fim-de-semana se e somente se hoje for Sbado ou Domingo. Hoje Sbado. Ento, hoje fim-de-semana. w) pq, (pq) (qp) p q x) p q q p y) s(rp), a.s, pr (pr) + q z) ~~(px), ~~(qx), x.pk, p+q, ku u

l) p (p+q) . (p+r) m) p, ~~(pq) q+ ~q n) p, ~~(pq) (r.s)+q o) p p+p p) q) r) s) t) u) Hoje Sbado ou Domingo. Se hoje Sbado, ento fim-de-semana. Se hoje Domingo, ento fim-de-semana. Conclue-se que hoje fim-de-semana. (p+q).(p+r), ps, qs, pt,rt s.t p+p, p(q.r) r

a) b) c) d) e) f) g) h) i) j) k) l) m) n) o)

i, (i.c)~s, ~s~a c ~a p q, qr pr p (pq) q (p.q)r p (qr) p+qq+p (p.q) + (p.r) p. (q+r) pq, ~q ~p p ~q ~(p.q) ~p p p s~~v ~v ~s (~s.v)~p, p, v s ~(~p.~q), ~p q ~p + ~q ~(p . q) pq ~p+q ~ ( p . q) ~p + ~q

Exerccios complementares g) (g+n) ~c ~~ c ~(g+n) 1. Formalize e prove os seguintes argumento C A concluso deste argumento verdadeira P As premissas deste argumento so verdadeiras S Este argumento correto V Este argumento vlido a) Este argumento no incorreto. Portanto, este argumento correto. h) Este argumento correto. Portanto, este argumento no incorreto. i) Se este argumento for correto, ento ele ser vlido. Ele no vlido.Portanto, ele no correto. j) Se este argumento for correto ento ele no ser invlido. Ele correto. Da, ele vlido. k) Se este argumento for correto ento ele no ser invlido. Assim, se ele for invlido, ento ele ser incorreto. l) Este argumento correto e vlido. Portanto, Ele correto ou ele invlido. m) Este argumento no , ambos, correto e invlido. Ele correto. Portanto, ele vlido. n) Este argumento correto sse todas suas premissas forem verdadeiras. Suas premissas no so verdadeiras. Portanto, ele incorreto. o) Se a concluso deste argumento for no-verdadeira, ento este argumento incorreto. Assim sendo, no o caso que este argumento correto e sua concluso no-verdadeira. p) Se este argumento for incorreto e vlido, nem todas as suas premissas so verdadeiras. Todas as suas premissas so verdadeiras. Ele vlido. Portanto, ele correto. q) Se este argumento for vlido e todas as suas premissas forem verdadeiras, ento ele ser correto. Se ele for correto, ento sua concluso verdadeira. Todas suas premissas so verdadeiras. Portanto, se este argumento for vlido ento sua concluso ser verdadeira. r) Ou este argumento incorreto ou, caso contrrio ele vlido e todas suas premissas so verdadeiras. Ento, ele incorreto ou vlido.