Cartilha Lgica

Colin Allen & Michael Hand

Traduo de Joo Jos de Almeida
Captulo 1
Lgica Sentencial


1.1 Noes Bsicas de Lgica

argumento, Definio. Um ARGUMENTO um par de coisas:
premissas, um conjunto de sentenas, que so as PREMISSAS.
concluso uma sentena, que a CONCLUSO.


Comentrio. Todos os argumentos tm concluses, mas nem
todos os argumentos tm premissas: o conjunto de
premissas pode ser um conjunto vazio! Mais tarde
examinaremos esta ideia em detalhe.

Comentrio. Se as sentenas envolvidas pertencem ao portugus (ou a
qualquer outra linguagem natural), preciso especSeicar se as
premissas e a concluso so sentenas que podem ser verdadeiras ou
falsas. Isto , as premissas e a concluso devem ser, todas, sentenas
declarativas (ou indicativas), como O gato est sobre o tapete ou Eu
estou aqui, e no sentenas como O gato est sobre o tapete?
(interrogativa) ou Venha aqui!(imperativa). Vamos construir algumas
linguagens formais nas quais toda sentena ou verdadeira ou falsa.
Esta qualSeicao no est presente na definio acima.


validade Definio. Um argumento VLIDO se, e somente se, for
necessrio que se todas as suas premissas so verdadeiras,
ento sua concluso tambm verdadeira.


Comentrio. A ideia intuitiva capturada por esta definio
a seguinte: se for possvel que a concluso de argumento
seja falsa, quando todas as suas premissas so verdadeiras,
ento o argumento no confivel (isto , ele invlido). Se
premissas verdadeiras garantem uma concluso
verdadeira, ento o argumento vlido.


Formulao alternativa da definio. Um argumento
VLIDO se, e somente se, for impossvel que todas as
premissas sejam verdadeiras, enquanto a concluso, falsa.


implicao Definio. Quando um argumento vlido, dizemos que
suas premissas IMPLICAM sua concluso.



2
correo Definio. Um argumento CORRETO se, e somente se, ele
for vlido e todas as suas premissas forem verdadeiras.


Comentrio. Segue-se que todos os argumentos corretos
tm concluses verdadeiras.


Comentrio. Um argumento pode ser incorreto em uma de
duas maneiras: ele invlido, ou ele tem uma ou mais falsas
premissas.


Comentrio. O resto deste livro se ocupar com a validade, em vez da
correo.


Exerccio 1.1 Indique se cada uma das seguintes sentenas Verdadeira
ou Falsa.


i* Toda premissa de um argumento vlido verdadeira.
ii* Todo argumento invlido tem uma concluso falsa.
iii* Todo argumento vlido tem exatamente duas premissas.
iv* Alguns argumentos vlidos tm concluses falsas.
v* Alguns argumentos vlidos tm uma concluso falsa,
mesmo que tenham todas as premissas verdadeiras.
vi* Um argumento correto no pode ter uma concluso falsa.
vii* Alguns argumentos corretos so invlidos.
viii* Alguns argumentos incorretos tm premissas verdadeiras.
ix* Premissas de argumentos corretos implicam suas
concluses.
x* Se um argumento tem premissas verdadeiras e uma
concluso verdadeira, ento ele correto.




1.2 Uma Linguagem Formal para a Lgica Sentencial


linguagem Comentrio. Para representar similaridades entre argu-
formal mentos de uma linguagem natural, os lgicos introduzem
linguagens formais. A primeira linguagem formal que va-
mos introduzir a linguagem da lgica sentencial (tambm
conhecida como lgica proposicional). No captulo 3 intro-
duziremos uma linguagem mais sofisticada: a da lgica de
predicados.

3
vocabulrio Definio. O VOCABULRIO DA LGICA SENTENCIAL
consiste em
LETRAS SENTENCIAIS,
CONECTIVOS, e
PARNTESES.


letra Definio. Uma letra sentencial qualquer smbolo da
sentencial seguinte lista:
A, ..., Z, A0, ..., Z0, A1, ..., Z1, ... .



varivel Comentrio. Pelo uso de nmeros subscritos tornamos
sentencial disponveis um nmero infinito de letras sentenciais. Estas
letras sentenciais so denominadas algumas vezes como
VARIVEIS SENTENCIAIS, porque as utilizamos para
representar sentenas da linguagem natural.


conectivos Definio. Os CONECTIVOS SENTENCIAIS (mais conhecidos
como CONECTIVOS) so os membros da seguinte lista: .


Comentrio. Os conectivos sentenciais correspondem a
vrias palavras nas linguagens naturais que servem para
conectar sentenas declarativas.


til ~ O TIL corresponde ao portugus No o caso de que.
(Neste caso, o uso do termo conectivo peculiar, j que
somente uma sentena declarativa negada por vez.)


e comercial & O E COMERCIAL corresponde ao portugus ... e ....


cunha A CUNHA corresponde ao portugus ... ou ... no seu sentido
inclusivo.


seta A SETA corresponde ao portugus Se ..., ento ....


seta dupla A SETA DUPLA corresponde ao portugus se, e somente se,
....


4
Comentrio. As linguagens naturais normalmente dispem de mais de
uma maneira de expressar uma dada conexo entre sentenas. Por
exemplo, a sentena Joo est danando, mas Maria est sentando
expressa a mesma relao lgica que Joo est danando e Maria est
sentando. O tema da traduo do portugus para a linguagem formal
tratado na seo 1.3.


) e ( Os parnteses direito e esquerdo so usados como marcas
de pontuao para a linguagem.


expresso Definio. Uma EXPRESSO da lgica sentencial qualquer
sequncia de letras sentenciais, conectivos sentenciais, ou
parnteses direito e esquerdo.


Exemplos.
(P Q) uma expresso da lgica sentencial.
)PQ~ tambm uma expresso da lgica sentencial.
(3 4) no uma expresso da lgica sentencial.


metavarivel Definio. Letras gregas como e so usadas como
METAVARIVEIS. Elas no so partes da linguagem da
lgica sentencial, mas simbolizam expresses da linguagem.


Comentrio. ( ) no uma expresso da lgica
sentencial, mas pode ser usada para representar uma
expresso da lgica sentencial.


frmula bem- Definio. Uma FRMULA BEM-FORMADA (FBF) da lgica
formada sentencial qualquer expresso que est de acordo com as
seguintes sete regras:


(1) Uma letra sentencial sozinha uma fbf.


sentena [Definio. As letras sentenciais so SENTENAS ATMICAS
atmica da linguagem da lgica sentencial.]


(2) Se uma fbf, ento a expresso denotada por ~
tambm uma fbf.


negao [Definio. Uma FBF dessa forma chamada de NEGAO,
5
e ~ chamada de NEGAO DE .]


(3) Se e so fbfs, ento a expresso denotada por
( & ) uma fbf.


conjuno [Definio. Uma fbf dessa forma chamada de CONJUN-
O. e so chamados de CONJUNCTOS esquerdo e
direito, respectivamente.]


(4) Se e so fbfs, ento a expresso denotada por
( ) uma fbf.


disjuno [Definio. Uma fbf dessa forma chamada de DISJUNO.
e so chamados de DISJUNCTOS esquerdo e direito,
respectivamente.]


(5) Se e so fbfs, ento a expresso denotada por
( ) uma fbf.


condicional, [Definio. Uma fbf dessa forma chamada de CONDICIO-
antecedente, NAL. A fbf chamada de ANTECEDENTE do condicional.
consequente A fbf chamada de CONSEQUENTE do condicional.]


(6) Se e so fbfs, ento a expresso denotada por
( ) uma fbf.


bicondicional [Definio. Uma fbf dessa forma chamada de BICON-
DICIONAL. tambm algumas vezes chamada de EQUIVA-
LNCIA.]


(7) Nada mais uma fbf.


conectivos Definio. &, , , e so CONECTIVOS BINRIOS, porque
unrios e conectam duas fbfs. ~ um CONECTIVO UNRIO, porque
binrios se liga a apenas uma fbf.


sentena Definio. Uma SENTENA da linguagem formal uma fbf
que no parte de uma fbf maior.
6


denegao Definio. A DENEGAO de uma fbf que no uma
negao, ~. Uma negao, ~, tem duas DENEGAES:
e ~~


Exemplo.
~(P Q) tem uma negao: ~~(P Q)
E tem duas denegaes: (P Q) e ~~(P Q)


(P Q) tem apenas uma denegao: a sua negao, ~(P
Q).


Comentrio. A razo para introduzir as ideias de uma sentena e uma
denegao ficaro claras quando forem introduzidas as regras de prova
na seo 1.4.


Exerccio 1.2.1 Quais das seguintes expresses so fbfs? Diga se uma
expresso uma fbf, isto , se ela uma sentena atmica,
uma condicional, uma conjuno, uma disjuno, uma
negao ou uma bicondicional. Para os conectivos binrios,
identSeique as fbfs componentes (antecedente,
consequente, conjunctos, disjunctos etc.).


i* A
ii* (A
iii* (A)
iv* (A B)
v* (A (
vi* (A (B C))
vii* ((P & Q) R)
viii* ((A & B) (C (D G)))
ix* ~ (A B)
x* ~ (P Q) ~(Q & R)
xi* ~ (A)
xii* (~A) B
xiii* ( ~(P & P) & (P (Q ~Q)))
xiv* (~((B P) & C) ((D ~G) H))
xv* (~(Q ~(B)) (E (D X)))


convenes Comentrio. Para facilitar a leitura conveniente, muitas
de eliminao vezes, eliminar parnteses das fbfs, contanto que no resul-
de parnteses te em ambiguidade. Se uma sentena estiver cercada por
parnteses, ento eles podem ser eliminados.
7


Exemplo.
P Q ser lido como uma abreviao de (P Q).


Comentrio. Quando os parnteses esto embutidos dentro
de sentenas, devemos ser cautelosos ao omiti-los. Por
exemplo, a expresso P & Q R potencialmente ambgua
entre ((P & Q) R) e (P & (Q R)). Para resolver estas
ambiguidades ns adotamos a seguinte conveno: ~ se liga
mais fortemente do que todos os outros conectivos; & e
liga expresses componentes mais fortemente do que ,
que, por sua vez, liga seus componentes mais fortemente do
que .


~P & Q R lido como ((~P & Q) R).
P Q R lido como ((P Q) R).
P Q & R no permitido, porque ambguo entre
(P (Q & R)) e ((P Q) & R).
P Q R no permitido, porque ambguo entre
(P (Q R)) e ((P Q) R).


Comentrio. As expresses admitidas por essas convenes
de eliminao de parnteses no so, elas mesmas,
formulas bem-formadas da lgica sentencial.


Exerccio 1.2.2 Reescreva todas as sentenas do exerccio 1.2.1 acima,
utilizando as convenes de eliminao de parnteses.
Omita todos os parnteses que voc puder, sem introduzir
ambiguidade.


Exerccio 1.2.3 Ateste se cada uma das sentenas abaixo ou no ambgua,
dadas as convenes de eliminao de parnteses. Nos
casos no ambguos, reescreva as sentenas reinstaurando
todos os parnteses omitidos.


i* P ~Q R
ii* P Q R & S
iii* P Q R S
iv* P Q & R ~S
v* P R & S T
vi* P Q R S
vii* P & Q ~R S
8
viii * ~P & Q R S T
ix* P Q & ~R ~S T U
x* P Q & ~R ~S T U




1.3 Traduo do Portugus para FBFs Sentenciais


esquema Definio. Um ESQUEMA DE TRADUO para a linguagem
de traduo da lgica sentencial uma equiparao entre letras
sentenciais e sentenas da linguagem natural. As sentenas
de um esquema de traduo devem ser logicamente
simples. Isto , elas no devem conter nenhuma palavra que
corresponda aos conectivos sentenciais.


forma Definio. A FORMA LGICA de uma sentena da lin-
lgica guagem natural, relativa ao esquema de traduo, dada
pela sua traduo numa fbf da lgica sentencial, de acordo
com este esquema de traduo.


Exemplo.
Pelo esquema de traduo
P: Joo bom de lgica
Q: Jos est feliz
A sentena
Se Joo bom de lgica, ento Jos est feliz
tem a forma lgica (P Q).


Comentrio. O portugus oferece muitas maneiras
diferentes de formular negaes, condicionais, conjunes,
disjunes e bicondicionais. Assim, muitas sentenas
distintas do portugus podem ter a mesma forma lgica.


variantes Definio. Se duas sentenas da linguagem natural tm
estilsticas a mesma forma lgica, relativa a um nico esquema de
traduo, diz-se que elas so VARIANTES ESTILSTICAS
uma da outra.


Comentrio. Existem muitssimas variantes estilsticas de
negaes, conjunes, disjunes, condicionais e
bicondicionais para serem, todas, listadas aqui. Segue-se
9
abaixo uma lista parcial de variantes estilsticas de cada
categoria.


negaes Digamos que P traduz a sentena Joo est consciente.
Aqui esto algumas das maneiras de expressar ~P:
Joo no est consciente.
Joo est inconsciente.
No o caso de que Joo est consciente.
falso que Joo est consciente.


condicionais Incluem-se as seguintes variantes estilsticas cuja forma
lgica ( ), onde o antecedente e o
consequente:
Se , .
somente se
uma condio suficiente para .
suficiente para .
Contanto que , .
contanto que .
sob a condio de que .
uma condio necessria para .
necessrio para .
Onde quer que , .
se .
Dado que , .
Em caso de que , .
somente sob a condio de que .


conjunes Incluem-se as seguintes variantes estilsticas cuja forma
lgica ( & ):
e .
Tanto quanto .
mas .
mesmo que .
bem como .
Ainda que , .
, e tambm .


disjunes Incluem-se as seguintes variantes com a forma lgica (
):
ou .
Ou ou .
, a menos que .


10
Comentrio. , a menos que tambm comumente
traduzido como (~ ). As tcnicas de prova
introduzidas na seo 1.4 podem ser usadas para mostrar
que esta sentena equivalente a ( ).


bicondicionais Incluem-se as seguintes variantes com a forma lgica (
):
se, e somente se, .
equivalente a .
necessrio e suficiente para .
apenas no caso de que .

nem... Sentenas em portugus com a forma Nem nem , tm a
nem... forma lgica ~( ), ou, de maneira equivalente, (~ & ~
).


tempos Comentrio. No portugus, as sentenas Maria est
danando e Maria danar, tm signSeicados dSeerentes
por causa dos tempos dos seus respectivos verbos. Em
alguns casos, quando se est analisando argumentos,
importante preservar a distino entre os tempos. Em
outros casos, a distino pode ser ignorada. Como regra
geral, necessrio uma avaliao para decidir se o tempo
pode ser ignorado sem cometer erros.


Exemplo.
Considere os dois argumentos abaixo:


A Se Maria est danando, Joo danar.
Maria est danando.
Portanto, Joo est danando.


B Se Maria dana, Joo danar.
Se Joo dana, Jos danar.
Portanto, se Maria dana, Jos danar.


Em A, se a diferena entre Joo danar e Joo est dan-
ando for ignorada, o argumento parecer vlido na tra-
duo. Mas isto no parece razovel num bom escrutnio do
portugus.


Em B, ignorar a diferena entre Joo danar e Joo dana
11
tambm torna o argumento vlido na traduo. Neste caso,
entretanto, isto parece razovel.


Nos exerccios de traduo abaixo, assuma que as
distines de tempo podem ser ignoradas.


Exerccio 1.3 Traduza as sentenas abaixo para a linguagem da lgica
sentencial


Esquema de traduo para 1-20
P: Joo dana.
Q: Maria dana.
R: Jos dana.
S: Joo est feliz.
T: Maria est feliz.
U: Jos est feliz.


1* Joo est danando, mas Maria no est danando.
2* Se Joo no dana, ento Maria no estar feliz.
3* A dana do Joo suficiente para fazer Maria feliz.
4* A dana do Joo necessria para fazer Maria feliz.
5* Joo no danar, a menos que Maria esteja feliz.
6* Se a dana do Joo for necessria para Maria ficar feliz,
Jos estar infeliz.
7* Se Maria dana, mesmo que Joo no esteja feliz, Jos dan-
ar.
8* Se nem Joo nem Jos esto danando, Maria no est feliz.
9* Maria no est feliz, a menos que ou Joo ou Jos estejam
danando .
10* Maria estar feliz se tanto Joo quanto Jos estejam dan-
ando.
11* Mesmo que nem Joo nem Jos estejam danando, Maria
est feliz.
12* Se Jos dana, ento, se Maria dana, Joo tambm.
13* Maria estar feliz somente se Jos est feliz.
14* Nem Joo nem Jos danaro se Maria no est feliz.
15* Se Maria dana somente se Jos dana, e Joo dana
somente se Maria dana, ento Joo dana somente se Jos
dana.
16* Maria danar se Joo ou Jos, mas no ambos, dancem.
17* Se Joo dana, e Maria tambm, mas Jos no, ento Maria
no estar feliz, mas Joo e Jos, sim.
18* Maria estar feliz se, e somente se, Joo est feliz.
19* Contanto que Jos esteja infeliz, Joo no danar,
a menos que Maria esteja danando.
12
20* Se Joo dana sob a condio de que, se ele dana, Maria
dana, ento ele dana.


Esquema de traduo para 21-25
P: Um dos objetivos da pena a condenao.
Q: A pena de morte uma condenao definitiva.
R: A pena de morte deve permanecer.
S: A pena de morte utilizada nos Estados Unidos.
T Um dos objetivos da pena a retaliao.


21* Se um dos objetivos da pena a condenao, e a pena de
morte uma condenao definitiva, ento a pena de morte
deve permanecer.
22* A pena de morte no uma condenao definitiva, mesmo
que seja utilizada nos Estados Unidos.
23* A pena de morte no deve permanecer, se ela no uma
condenao definitiva, a menos que a condenao no seja
um dos objetivos da pena.
24 * Se a retaliao um dos objetivos da pena, mas a
condenao no o , ento a pena de morte no deve
permanecer.
25 * A pena de morte deve permanecer, mesmo que no seja
uma condenao definitiva, contanto que um dos objetivos
da pena seja a retaliao, em acrscimo condenao.



1.4 Regras Primitivas de Prova



consequncia Definio. O smbolo de CONSEQUNCIA .


sequente Definio. Um SEQUENTE consiste em uma certa
quantidade de sentenas separadas por vrgula (que
correspondem s premissas de um argumento),
seguidas por uma consequncia, e, por sua vez,
seguida por uma outra sentena (que corresponde
concluso de um argumento).
Exemplo. (P & Q) R, ~R & P ~Q


Comentrio. Sequentes nada mais so do que um
modo conveniente de mostrar argumentos na
notao formal. O smbolo de consequncia pode ser
lido como portanto.
13


prova Definio. Uma PROVA uma sequncia de linhas
que contm sentenas. Cada sentena uma
suposio ou o resultado da aplicao de uma regra
de prova a sentenas anteriores da sequncia. As
regras primitivas de prova so apresentadas abaixo.


Comentrio. O objetivo de apresentar provas para
demonstrar inequivocamente que um dado conjunto
de premissas implica uma concluso particular.
Assim, ao apresentar uma prova, ns associamos
trs coisas com cada sentena da sequncia de
prova:


anotao direita da sentena, fornecemos uma ANOTAO
que especifique que regra de prova foi aplicada a
quais sentenas anteriores para produzir a dada
sentena.


conjunto de Do lado mais esquerda, associamos com cada sen-
suposio tena um CONJUNTO DE SUPOSIES que contm
as suposies das quais a dada sentena depende.

nmero Tambm esquerda, escrevemos o NMERO DA LI-
da linha NHA atual da prova.


linha da Definio. Uma sentena de uma prova, junto com a
prova sua anotao, seu conjunto de suposies e o
nmero da linha chamado de LINHA DA PROVA.


Exemplo.
1,2 (7) P Q & R 6 I (3)
Nmero da linha Anotao

Conjunto de suposies Sentena


prova para Definio. Uma PROVA PARA UM ARGUMENTO
um argumento DADO, uma prova cuja ltima sentena a conclu-
dado so do argumento, que depende de nada mais seno
das suas premissas.


14
regras Definio. As dez REGRAS PRIMITIVAS DE PROVA
primitivas so as regras de suposio, introduo-do-e-
comercial, eliminao-do-e-comercial, introduo-
da-cunha, eliminao-da-cunha, introduo-da-seta,
eliminao-da-seta, reduo ao absurdo,
introduo-da-seta-dupla, e eliminao-da-seta-
dupla, tal como descritas abaixo.


suposio Assuma qualquer sentena.


Anotao: A
Conjunto de suposies: O nmero da linha atual.
Comentrio: Qualquer sentena pode
ser assumida, a
qualquer momento.
Contudo, algumas
suposies so teis,
outras no!


Exemplo.
1 (1) P Q A


introduo do Dadas duas sentenas (nas linhas m e n), conclua
e comercial por uma conjuno entre elas.


Anotao: m, n &I
Conjunto de suposies: A unio dos conjuntos
de suposies das linhas
m e n.
Comentrio: A ordem das linhas m e
n na prova irrelevante.
As linhas referidas como
m e n podem, inclusive,
ser as mesmas.
Tambm conhecida como: Conjuno (CONJ).


Exemplos.
1 (1) P A
2 (2) Q A
1,2 (3) P & Q 1,2 &I
1,2 (4) Q & P 1,2 &I
1 (5) P & P 1,1 &I

15

eliminao do Dada uma sentena que seja uma conjuno (na li-
e comercial nha m), conclua por algum dos conjunctos.


Anotao: m &E
Conjunto de suposies: A mesma da linha m.
Tambm conhecida como: Simplificao (S).


Exemplos.
(a)
1 (1) P & Q A
1 (2) Q 1 &E
1 (3) P 1 &E


(b)
1 (1) P & (Q R) A
1 (2) Q R 1 &E


introduo da Dada uma sentena (na linha m), conclua por qual-
cunha quer disjuno que tenha esta sentena como um
disjuncto.


Anotao: m vI
Conjunto de suposies: O mesmo da linha m.
Tambm conhecido como: Adio (ADD).


Exemplos.
(a)
1 (1) P A
1 (2) P Q 1 I
1 (3) (R ~T) P 1 I


(b)
1 (1) Q R A
1 (2) (Q R) (P & ~S) 1 I


eliminao da Dada uma sentena (na linha m) que seja uma dis-
cunha juno, e uma outra sentena (na linha n) que seja a
denegao de um dos seus disjunctos, conclua pelo
outro disjuncto.

16

Anotao: m, n E
Conjunto de suposies: A unio dos conjuntos
de suposies das linhas
m e n.
Comentrio: A ordem das linhas m e
n na prova irrelevante.
Tambm conhecida como: Modus Tollendo Ponens
(MTP), Silogismo Dis-
juntivo (SD).


Exemplos.
(a)
1 (1) P Q A
2 (2) ~P A
1,2 (3) Q 1,2 E


(b)
1 (1) P (Q R) A
2 (2) ~(Q R) A
1,2 (3) P 1,2 E


(c)
1 (1) P ~R A
2 (2) R A
1,2 (3) P 1,2 E


introduo da Dada uma sentena (na linha n), conclua por uma
seta condicional que tenha esta sentena como
consequente, e cujo antecedente aparea na prova
como uma suposio (na linha m).


Anotao: n I (m)
Conjunto de suposies: Tudo o que estiver no
conjunto de suposies
da linha n, excetuando a
linha m, que o nmero
da linha no qual o
antecedente foi assu-
mido.
Comentrio: O antecedente deve
estar presente na prova
como uma suposio.
Ns chamamos esta
17
suposio de DESCAR-
REGAMENTO, quando
aplicamos esta regra. A
colocao entre parn-
teses do nmero m
indica que ele a
suposio descarregada.
As linhas m e n podem
ser as mesmas.
Tambm conhecida como: Prova da Condicional
(PC).


Exemplos.
(a)
1 (1) ~P Q A
2 (2) P A
1,2 (3) Q 1,2 E
1 (4) P Q 3 I (2)

(b)
1 (1) R A
2 (2) P A
1 (3) P R 1 I (2)


(c)
1 (1) P A
(2) P P 1 I(1)


eliminao da Dada uma sentena condicional (na linha m), e uma
seta outra sentena que seja o seu antecedente (na linha
n), conclua pelo consequente da condicional.


Anotao: m, n E
Conjunto de suposies: A unio dos conjuntos
de suposies das linhas
m e n.
Comentrio: A ordem de m e n na
prova irrelevante.
Tambm conhecida como: Modus Ponendo Ponens
(MPP), Modus Ponens
(MP), Destacamento,
Afirmao do Ante-
cedente.


18


Exemplo.
1 (1) P Q A
2 (2) P A
1,2 (3) Q 1,2 E


reduo ao Dadas uma sentena e a sua denegao (nas linhas m
absurdo e n), conclua pela denegao de qualquer suposio
que aparea na prova (na linha k).


Anotao: m, n RAA (k)
Conjunto de suposies: A unio dos conjuntos
de suposies das linhas
m e n, com a excluso
de k (a suposio
denegada)
Comentrio: A sentena da linha k a
suposio descarregada
(tambm conhecida
como SUPOSIO RE-
DUZIDA), e a concluso
deve ser uma denegao
da suposio descar-
regada. As sentenas das
linha m e n devem ser a
denegao uma da
outra.
Tambm conhecida como: Prova Indireta (PI),
~Intro/~Elim.


Exemplos.
(a)
1 (1) P Q A
2 (2) ~Q A
3 (3) P A
1,3 (4) Q 1,3 E
1,2 (5) ~P 2,4 RAA (3)


(b)
1 (1) P Q A
2 (2) ~P A
1,2 (3) ~P ~Q A
2,3 (4) ~Q 2,3 E
1,2,3 (5) P 1,4 E
19
1, 3 (6) P 2,5 RAA (2)


(c)
1 (1) P A
2 (2) Q A
3 (3) ~Q A
2,3 (4) ~P 2,3 RAA (1)


introduo da Dadas duas sentenas condicionais que tenham a
seta dupla forma e (nas linhas m e n), conclua por
uma bicondicional que tenha de um lado e do
outro.


Anotao: m, n I
Conjunto de suposies: A unio dos conjuntos
de suposies das linhas
m e n.
Comentrio: A ordem de m e n na
prova irrelevante.



Exemplo.
1 (1) P Q A
2 (2) Q P A
1,2 (3) P Q 1,2 I
1,2 (4) Q P 1,2 I



eliminao da Dada uma sentena bicondicional (na linha
seta dupla m), conclua por ou por .


Anotao: m E
Conjunto de suposies: O mesmo da linha m.
Tambm conhecida como: Algumas vezes as regras
I e E so
subsumidas como Defi-
nio da Bicondicional
(df. ).


Exemplo.
1 (1) P Q A
1 (2) P Q 1 E
20
1 (3) Q P 1 E


Comentrio. Estas dez regras de prova preservam
sempre a verdade. Dadas premissas verdadeiras,
elas iro produzir concluses verdadeiras. Isto
implica que se uma prova puder ser construda para
um dado argumento, ento o argumento vlido.


Comentrio. Um certo nmero de estratgias ajudam na
descoberta de provas, mas no h substituto para a prtica.
No oferecemos nenhuma estratgia de descobrimento de
provas neste livro este papel pertence ao instrutor.
Oferecemos, sim, uma boa quantidade de exerccios, de modo
que no haver falta de oportunidade para a prtica.


Exerccio 1.4.1 Preencha os espaos em branco nas seguintes
provas.

i P,~Q P &~Q
1 (1) P
(2) ~Q A
(3) P &~Q


ii* P Q, ~Q R,
(1) P Q A
2 (2) ~Q R
(3)
(4) Q 1,3 E
(5) 2,4


iii* P Q,P Q Q
(1) P Q A
(2) P Q A
3 (3) ~Q
(4) P
(5)
(6) Q 3,5 RAA


iv* ~P R
(1) ~P Q A
(2) ~P A
3 (3) ~Q R
(4) ~P Q
(5) 2,4
21
(6) R
(7) ~P R


v P Q (R ~Q) (P R)
1 (1) P Q A
2 (2) A
3 (3) P A
(4) 1,3 E
(5) R 2,4 E
(6) 5 I(3)
1 (7) (R ~Q) (P R) 6


Exerccio 1.4.2 Fornea as provas para os sequentes abaixo. Todas
essas provas podem ser completadas sem usar as
regras I ou RAA.


Sl* P ~R, ~R S, ~P S
S2 P ~R, ~R S,~P S & ~R
S3* P ~Q, ~Q R ~S, P & T ~S
S4* P & (Q & R), P & R ~S, S T T
S5 P Q, P R, P Q & R
S6 P, Q R, ~R S, ~Q P & S
S7* ~P, R ~P P Q Q
S8 (P Q) R,P Q,Q P R
S9* ~P Q & R, ~P S ~ T, U & ~P (U & R) & ~T
SlO (Q R) & ~S T, Q & U, ~S ~U T & U



1.5 Sequentes e Regras Derivadas


consequncia Comentrio. Se um sequente tem apenas uma sen-
dupla tena de cada lado de uma consequncia, uma
consequncia reversa pode ser inserida () para
representar o argumento da sentena do lado direito
em direo sentena do lado esquerdo.


Exemplo. P P P


Comentrio. Este exemplo corresponde a dois
sequentes P P P e P P P. Voc pode ler o
exemplo como se estivesse dizendo P, portanto P ou
P, e P ou P, portanto P. Quando se estiver provando
22
que , deve-se fornecer duas provas: uma
para e outra para .


Exemplo.
Prove que P P P.


(a) Prove que P P P.
1 (1) P A
1 (2) P P 1 I

(b) Prove que P P P.
1 (1) P P A
2 (2) ~P A
1,2 (3) P 1,2 E
1 (4) P 2,3 RAA (2)


Exerccio 1.5.1 Fornea as provas dos sequentes abaixo, utilizando
as regras primitivas de prova.


S11* P ~~P Negao Dupla
S12* P Q, ~Q ~P Modus Tollendo Tollens
S13 P~Q, Q ~P MTT
S14* ~P Q, ~Q P MTT
S15 ~P ~Q, Q P MTT
S16* PQ, Q R PR Silogismo Hipottico
S17* P QP Consequente Verdadeiro
S18* ~P PQ Antecedente Falso
S19 P ~PQ AF
S20 P Q, P ~ Q ~P Antecedente Impossvel
S21* ~P Q P Q Cunha-Seta ()
S22 P Q ~P Q
S23 P Q ~Q P
S24 P ~Q Q P
S25 P Q, P R, Q R R Dilema Simples
S26* P Q, P R, Q S R S Dilema Complexo
S27 P Q, ~P Q Q Dilema Especial
S28* ~(P Q) ~P & ~Q Lei de DeMorgan
S29 ~(P & Q) ~P ~Q DM
S30 P & Q ~(~P ~Q) DM
S31 P Q ~(~P & ~Q) DM
S32* ~(P Q) P & ~Q Seta Negada (Neg)
S33 ~(P ~Q) P & Q Neg
S34 P Q ~(P & ~Q) Neg
S35 P ~Q ~(P & Q) Neg
S36 P & Q Q & P & Comutatividade
23
S37* P Q Q P Comutatividade
S38* PQ QP Comutatividade
S39 P Q ~Q ~P Transposio
S40 P & (Q & R) (P & Q) & R & Associatividade
S41* P (Q R) (P Q) R Associatividade
S42* P & (Q R) (P & Q) (P & R) &/ Distribuio
S43 P (Q & R) (P Q) & (P R) /& Distribuio
S44 P (Q R) P & Q R Imp/Exportao
S45 PQ,P Q Biconditional Ponens
S46 PQ, Q P BP
S47 PQ, ~P~Q Biconditional Tollens
S48 PQ, ~Q ~P BT
S49 P Q ~Q ~P BiTransposio
S50 P ~Q ~P Q BiTrans
S51 ~(P Q) P ~Q Negada
S52 ~(P Q) ~P Q Neg


Exerccio 1.5.2 Fornea as provas para os sequentes, utilizando as
regras primitivas de prova.


S53* PQ (P & Q) (~P & ~Q)
S54 P Q & R, R ~Q S & T, T U P U
S55* (~P Q) & R, Q S P (R S)
S56* Q &R, Q P S, ~(S & R) P
S57 P R & Q, S ~R ~Q S & P T
S58 R & P, R (S Q), ~(Q & P) S
S59 P & Q, R & ~S, Q (P T), T (R S W) W
S60 R ~P, Q, Q (P ~S) S ~R
S61 P Q, P R, P S, T (U (~V ~S)),
Q T, R (W U), V ~W, W ~P
S62 P ~Q & S, P & (~T ~S) ~Q & T
S63 P Q P & Q P Q


instncia de Definio. Uma INSTNCIA DE SUBSTITUIO de
substituio um sequente o resultado de trocar uniformemente
as suas letras sentenciais por fbfs.


Comentrio. Esta definio atesta que cada ocorrn-
cia de uma dada letra sentencial deve ser trocada
pela mesma fbf ao longo de todo o sequente.


Exemplo.
O sequente P Q ~P Q
tem como instncia de substituio o sequente
24
(R & S) Q ~(R & S) Q
de acordo com o padro de substituio
P/(R & S); Q/Q.


Comentrio. O padro de substituio dado mostra
que a letra sentencial P foi trocada, ao longo de todo
o sequente original, pela fbf (R & S), e a letra
sentencial Q foi trocada por ela mesma.


Exerccio 1.5.3 Identifique cada um dos seguintes sequentes com os
do exerccio 1.5.1 e descubra o padro de
substituio.


i* R S ~S ~R
ii* ~P Q R, Q R S ~P S
iii* (P & Q) R R (P & Q)
iv * (P Q) & (~R ~S) ((P Q) & ~R) ((PQ)&~S)
v* R S ~~(R S)
vi* (P R) & S ~(P R ~S)
vii* P (Q R) ~P Q R
viii* ~(P & Q) R ~(P & Q)
ix* ~((P & Q) (R & S)) ~(P & Q) & ~(R & S)
x* P (R S), P Q & R, R S Q & R Q &R



regra derivada Comentrio. Qualquer sequente que foi provado
usando-se somente regras primitivas pode
ulteriormente ser utilizado como REGRA
DERIVADA de prova se
(i) algumas das sentenas que aparecem na
prova so as premissas do sequente, or
(ii) algumas das sentenas que aparecem na
prova so as premissas de uma instncia de
substituio do sequente.


No caso (i), a concluso do sequente pode ser
asserida na prpria linha; no caso (ii), a concluso da
instncia de substituio pode ser asserida.


Anotao: Os nmeros das linhas
das premissas, seguido
por S#, onde S# o
nmero dado no livro ou
25
o nome do sequente (ver
o comentrio abaixo).


Conjunto de suposies: A unio dos conjuntos
de suposies das
premissas.


Comentrio. Todos os sequentes do exerccio 1.5.1
(S11-S52) so usados to frequentemente como
regras de prova, que eles adquiriram os nomes ali
indicados. (Na realidade, em alguns sistemas de
lgica algumas das nossas regras derivadas so
dadas como regras primitivas.)


Exemplos.
(a) Prove que R S T, ~T ~R.
1 (1) R S T A
2 (2) ~T A
1,2 (3) ~(R S) 1,2 MTT
1,2 (4) ~R & ~S 3 DM
1,2 (5) ~R 4 &E


(b) Prove P R S, T ~S T ~(P R).
1 (1) P R S A
2 (2) T ~S A
1 (3) ~S ~(P R) 1 Trans
1,2 (4) T ~(P R) 2,3 SH


Comentrio. Exigir que o sequente a ser usado como regra
derivada tenha sido provado utilizando-se somente regras
primitivas uma restrio desnecessria. Se os sequentes so
provados numa ordem estrita, e nenhum sequente posterior da
srie usado na prova de um sequente anterior, ento no pode
haver erros lgicos. Ns sugerimos a restrio mais forte
somente porque bom para a prtica construir provas usando-
se somente as regras primitivas.


Exerccio 1.5.4 Prove os seguintes sequentes usando regras
primitivas ou regras derivadas provenientes dos
exerccios anteriores. Se voc gosta de desafios, faa
as provas das duas maneiras.


S 64 ~ P P P
26
S65 P Q ~((P Q) ~(Q P))
S66* P Q P Q P & Q
S67* P Q ~(P Q) ~(~P ~Q)
S68 P Q ~(P & Q) ~(P Q)
S69 P Q ~(~(P & Q) & ~(~P & ~Q))
S70 P Q R & ~P , Q R, ~R C
S71 ~P Q, P R, ~R ~Q R
S72 ~((P ~Q) R), S P & (Q & T),
R (P & S) S & K R & Q
S73* (P & Q) (R S) ((P & Q) R) S
S74 P & (~Q&~R), P(~S T), ~S (T R Q) S
S75 P & ~Q ~R (~S ~P) ~R R Q & (P & ~S)
S76* P Q, (Q R) & (~P S), Q & R T T S
S77 P Q R (~Q & S) (T~P), ~(~R ~P)
~T & Q
S78* P Q, P (R ~S), (~RT) ~P S &T Q
S79* (P ~Q) ~R, (~P & S) (Q&T), ST R Q P
S80* ~S (S & R), (S R) P P
S81* P (R Q, (R S) & (QT), S T P Q, ~P Q
S82* (P Q) R, S (~Q T) R ~T (S R)
S83* P & Q R S (P R) (Q S)
S84* (P Q) & (R P), (P R) & ~(Q & R) (P & Q & ~R
S85* P & Q (R S) & ~(R & S), R & Q S, S
((R & Q) (~R & ~Q)) ~P P ~Q
S86 ~(P & ~Q ~(~R & ~S), ~S &~Q, T(~S ~R & P)
~T