Lógica 02
Lógica 02
Lógica 02
texto2
1 Argumento
De…nição 1 Argumento é um conjunto de proposições (fórmulas) chamadas
premissas ou hipóteses, seguidas de uma proposição (fórmula) chamada de con-
clusão ou tese.
Em símbolos temos ` C. (lemos: dado deduzimos C).
1
Estas implicações são utilizadas como axiomas de um sistema de prova. Po-
dem ser utilizadas recorrentemente para provar argumentos mais complexos. A
seguir listamos as principais regras de inferência:
De Podemos deduzir Nome/abreviação da regra
P; P ! Q Q modus ponens/mp
P _ Q; :Q P silogismo disjuntivo/sd
P ! Q; :Q :P modus tollens/mt
P; Q P ^Q conjunção/conj
P ^Q P simpli…cação/simp
P P _Q adição/ad
P ! Q; Q ! R P !R silogismo hipotético/sh
P _ Q; P ! R; Q ! R R eliminação de disjunção/ed
2
Esta equivalência indica que uma conjunção pode distribuir-se em uma
disjunção e uma disjunção pode se distribuir em uma conjunção. Isto
pode ser ilustrado no seguinte exemplo, onde P : “Pedro acordou”, Q:
“Pedro foi à escola” e R: “Pedro foi à praia”:
1) “Pedro acordou e; foi à escola ou foi à praia” , “Pedro acordou e foi
à escola; ou Pedro acordou e foi à praia”
Agora, atribuindo às variáveis P; Q e R, respectivamente, as proposições
“Pedro é inteligente”, “Pedro é mau aluno” e “Pedro repetiu de ano”.
2) “Pedro é inteligente ou; Pedro é mau aluno e repetiu de ano”, “Pedro
é inteligente ou é mau aluno; e Pedro é inteligente ou repetiu de ano”.
6. Transposição (contrapositiva)
P ! Q , :Q ! :P
Esta importantíssima equivalência tem relação direta com a regra Modus
Tollens; lembre-se que a negação do consequente de uma implicação resulta
na negação do antecedente. Portanto, o antecedente e consequente podem
ser transpostos contanto que um sinal de negação seja introduzido em
ambos.
Ex: “Se Pedro é estrangeiro, então ele não nasceu no Brasil”, “Se Pedro
nasceu no Brasil, então ele não é estrangeiro”
7. Implicação Material
P ! Q , :P _ Q
Serve para mostrar a equivalência entre a condicional e a disjunção.
8. Equivalência Material
P ! Q , (P ! Q) ^ (Q ! P )
Uma bicondicional pode ser transformada em duas condicionais.
9. Exportação/Importação
(P ^ Q) ! R , P ! (Q ! R)
10. De Morgan
:(P ^ Q) , :P _ :Q
:(P _ Q) , :P ^ :Q
2 Provas de validade
Considerando as regras de inferência e as equivalências vistas acima, podemos
provar que um argumento é válido por meio de sucessivas deduções (derivações)
e, se necessário, substituindo fórmulas pela sua equivalente.
3
Exemplo 2 Provar que o argumento simbolizado por:
P ! :Q, R ! P , Q ` :R é válido com regras de inferência.
1. P ! :Q - hipótese
2. R ! P - hipótese
3. Q - hipótese
4. ::Q - equivalente a 3.
5. :P - mt 4,1
6. :R - mt 5,2
1. Suponhamos que a conclusão :R seja falsa. Para isso, R tem que ser
verdadeira.
2. Como temos a premissa R ! P , então para R verdadeira temos que ter
P verdadeira.
3. Com P verdadeira, temos que ter P ! :Q verdadeira e, portanto, :Q
verdadeira.
4. Para termos :Q verdadeira, temos que ter Q falsa.
5. Mas Q é premissa. E portanto não pode ser falsa.
6. Como derivamos uma premissa falsa, supondo a conclusão falsa, o argu-
mento é válido.
4
Em seguida, usando esses símbolos proposicionais, escrevemos as fórmulas
correspondentes
as sentenças do argumento:
(1) p ! q - premissa1
(2) :p ! r - premissa2
(3) q ! s - premissa3
(4) :s - premissa4
(?) r - conclusão
Finalmente, podemos representar o argumento como:
p ! q; :p ! r; q ! s; :s ` r
Para mostrar a validade do argumento, podemos utilizar uma das estraté-
gias vistas anteriormente. Notem, porém, que algumas delas são muito mais
trabalhosas que outras. Por exemplo, tabela-verdade é quase que inviável, pois
temos quatro variáveis e a tabela teria dezesseis linhas. Álgebra de Boole tam-
bém seria um pouco trabalhoso. Então as melhores estratégias …cam restritas
a regras de inferências ou refutação. Então por inferências, temos a seguinte
derivação:
(5) :q modus tollens 3,4
(6) :p modus tollens 5,1
(7) r modus ponens 2,6
Referências
[Alencar,1999] Alencar Filho, Edgard de, Iniciação à Lógica Matemática. No-
bel, São Paulo.
[Bedregal, 2002] Bedregal & Acioly. Lógica para a Ciência da Computação,
2002. Univ. Federal do Rio Grande do Norte, Natal
[Gersting, 2001] Gersting, Judith L. Fundamentos Matemáticos para a Ciência
da Computação. Livros Tecnicos e Cientí…cos Editora. Rio de
Janeiro.
[Souza, 2002] Souza, João Nunes. 2002. Lógica para Ciência da Computação.
Elsevier Ed. Ltda. Rio de Janeiro.