Aulas CS e SF

UI = naturais U I = conjunto dos seres humanos

I(a) = 0, I(a1) = 1, I(a) = Maria I(b) = Joo
I(a2) = 2, I(a3) = 3,... I(c) = Pedro I(a3) = Clara
para as demais constantes individuais, I(k) = 0 para as demais constantes individuais, I(k) = Clara
I(Q) = F I(P) = V
para as demais letras sentenciais, I() = V para as demais letras sentenciais, I() = V
1
I(P ) = conjunto dos pares I(P1) = conjunto das mulheres
I(Q1) = conjunto dos primos I(Q1) = conjunto dos solteiros
1
I(R ) = {4, 7, 8} I(R1) = {Joo, Clara e Maria}
I(R2) = menor que I(R2) = ser filho de
I(S2) = a metade de I(S2) = ser casado com
I(T2) = {(24,5), (6,7)} I(t2) = {(Maria, Joo), (Maria, Jos)}
I(P3) = funo soma = {(0,0,0); (0,1,1); (0,2,2),... I (P3) = ser filho de ... e ...
(1,0,1); (1,1,2); (1,2,3),... para as demais letras para predicados, I(n) =
projeo do primeiro
(2,0,2); (2,1,3); (2,2,4),...
: }
para as demais letras para predicados, I(n) = projeo do primeiro

Satisfao e conjunto soluo para frmulas atmicas abertas

P1x

Dizemos que essa frmula satisfeita numa interpretao I pelos objetos de UI que esto em I(P1).

CSI [P1x] = cjto dos partes ou {0, 2, 4, 6, 8, 10,...}

CS I [P1x] = cjto das mulheres

Tomemos agora uma frmula com com 2 variveis livres:

R2xy

O CS para essa frmula ser no um conjunto de objetos do universo de interpretao, mas um conjunto
de pares de objetos.

CSI[R2xy] = {(0,1), (0,2), (0,3),...

(1,2), (1,3), (1,4),...
(2,3), (2, 4),...
: } = conjunto dos pares de objetos onde o primeiro menor que o segundo.

CS I [[R2xy] = conjunto dos pares onde o segundo filho do primeiro

At aqui, o conjunto soluo era sempre idntico ao que a interpretao associa letra predicativa em
questo.
Vejamos o que ocorre com o seguinte exemplo:

R2xa3
 Aulas CS e SF

Diremos que essa frmula satisfeita pelos objetos cuja imagem em I(R2) o objeto I(a3). Assim,

CSI[R2xa3] = {0, 1, 2}

CS I [R2xa3] = conjunto dos filhos de Clara

Vejamos agora a seguinte frmula:

P3xya3

Dizemos que esta frmula ser satisfeita por aqueles pares de objetos U I que formam o comeo de uma
trade em I(P3) que termina com I(a3). Isto ,

CSI[P3xya3] = conjunto dos objetos cuja soma trs = {(0,3), (3,0), (1,2), (2,1)}

CS I[P3xya3] = conjunto dos pares formados por cada um dos filhos de Clara e seu pai

Tomemos agora uma frmula complexa:

P1x

Dizemos que essa frmula ser satisfeita em I pelos objetos que no pertencem a I(P1). Assim,

CSI[P1x] = conjunto dos mpares

e
CS I[P1x] = conjunto os homens

Tomemos agora

(P1xQ1x)

Dizemos que essa frmula ser satisfeita em I pelos objetos de UI que estiverem no CSI(P1x) e no
1
CSI(P x). Com isso, a frmula acima ter como conjunto soluo em I os nmeros pares primos ou seja,
somente o nmero 2. Com isso, a frmula (P1xQ1x) expressa, na I acima, o predicado "ser primo par"

CSI[(P1xQ1x)] = conjunto dos pares primos

CS I[(P1xQ1x)] = conjunto das mulheres solteiras.

Com isso, a frmula aberta (P1xQ1x) pode, em I, expressar o predicado composto "ser mulher solteira"

CSI[R2xa] = conjunto dos objetos que no so menores do 0 = UI

CS I[R2xa] = conjunto dos que no so filhos de Maria

CSI[(R2xa3 P1x)] = conjunto dos mpares menores do que 3

CS I[(R2xa3 P1x)] = conjunto dos filhos-homens de Clara

CSI[(Q1yP1y)] = conjunto dos nmeros que no so nem primos nem mpares = pares menos
o nmero 2

CSI[(P1xR2ax)] = entram no conjunto pares e nmeros maiores que 0 = UI

 Aulas CS e SF

CSI[(P1zQ1z)] = mpares primos e pares no primos

CSI[(P1y R2yx)] = conjunto dos pares onde o primeiro mpar e o segundo maior que ele

Vejamos brevemente o que ocorre com frmulas abertas gerais:

CSI[xR2xy] = conjunto dos nmeros maiores que qualquer nmero =

CSI[x(P1xR2yx)] = conjunto dos nmeros menores do que qualquer mpar = {0}

CSI[zT2zx] = conjunto dos nmeros que esto no contradomnio de I(T2) = {5,7}

CSI[z(P3xyzP1z)] = conjunto dos pares de objetos cuja soma par

Observe que uma sentena da forma verdadeira se e somente se o conjunto soluo de igual
ao universo.

Assim,
vI [x(R2xa3 P1x)] = V sse CSI[(R2xa3 P1x)] = UI, isto , sse o conjunto dos mpares
menores do que 3 igual ao universo

De modo anlogo, temos que

vI [x(R2xa3 P1x)] = V sse CSI[(R2xa3 P1x)] , isto , sse o conjunto dos mpares
menores do que 3 diferente do

"Regras derivadas" para determinar conjunto soluo e valor de verdade de certos tipos de frmulas
complexas:

Sejam e duas frmulas com uma nica e mesma varivel com ocorrncias livres.
Ento,
CSI[] = Cmpl CSI[]
CSI[()] = CSI[] CSI[] (cjto formado pelos objs que esto nos dois)
CSI[()] = CSI[] CSI[] (cjto formado pelos objs que esto em pelo menos um)
CSI[()] = Cmpl CSI[] CSI[]
CSI[()] = (CSI[] CSI[]) (Cmpl CSI[] Cmpl CSI[])

vI[] = V sse CSI[] = UI

vI[] = V sse CSI[]
vI[] = V sse CSI[] UI
vI[] = V sse CSI[] =
vI[] = V sse CSI[] =
vI[] = V sse CSI[] UI
vI[] = V sse CSI[]
vI[] = V sse CSI[] = UI

Da combinao das duas regras, temos alguns casos mais interessantes:

 Aulas CS e SF

vI[()] = V sse CSI[] CSI[] = UI (sse todos os objetos satisfazem tanto quanto )
vI[()] = V sse CSI[] CSI[] (sse pelo menos um objeto satisfaz tanto quanto )
vI[()] = V sse CSI[] CSI[] = UI (sse todo objeto satisfaz pelo menos um de e )
vI[()] = V sse CSI[] CSI[] (sse pelo menos um objeto satisfaz pelo menos um de
e )

vI[()] = V sse CSI[] CSI[] (sse todo objeto que satisfaz , tambm satisfaz )

vI[()] = V sse CSI[] = CSI[] (sse todo objeto que satisfaz , tambm satisfaz e vice-
versa)

Casos interessantes com relaes binrias

Seja 2 uma letra predicadicativa binria, e sejam e variveis.

Ento:

CSI[2] = conjunto dos objetos que so imagem de todos os objetos

Por exemplo, num universo UI = {1,2,3}, na relao {(1,1) (1,2), (2,2), (3,1), (3,2), (3,3)}, 2 foco
(Fc).

CSI[2] = conjunto dos objetos que so imagem de pelo menos um objeto

No exemplo UI = {1,2,3}, na relao {(1,1) (1,2), (2,2), (3,1), (3,2), (3,3)}, tanto 1, 2, quanto 3
pertencem ao contradomnio da relao (Cdom).

CSI[2] = conjunto dos objs que tm todos por imagem

No exemplo UI = {1,2,3}, na relao {(1,1) (1,2), (2,2), (3,1), (3,2), (3,3)}, 3 um mirante (Mr).

CSI[2] = conjunto dos objetos que tm pelo menos uma imagem.

No exemplo UI = {1,2,3}, na relao {(1,1) (1,2), (2,2), (3,1), (3,2), (3,3)}, tanto 1, 2 quanto 3
pertencem ao domnio da relao (Dom).

Combinando essas regras com as regras para valor de verdade de sentenas gerais obtemos que:

vI[2] = V sse I(2) = UI (sse todos "vem" todos)

vI[2] = V sse I(2) = UI (sse todos "vem" todos)

Por exemplo, a relao {(1,1), (1,2), (1,3), (2,1), (2,2), (2,3), (3,1), (3,2), (3,3)} no universo
UI = {1,2,3} universal

vI[2] = V sse Fc I(2) (sse algum " visto" por todos)

Por exemplo, no universo UI = {1,2,3}, a relao {(1,1) (1,2), (2,2), (3,1), (3,2), (3,3)}

vI[2] = V sse Cdom I(2) =UI (sse todos so vistos por pelo menos um)
 Aulas CS e SF

Por exemplo, no universo acima, a relao {(1,1) (1,2), (2,2), (3,3)}, todos objetos do universo
aparecem como segundo lugar em pelo menos um par.

vI[2] = V sse I(2) (sse algum "v" algum)

vI[2] = V sse I(2) (sse algum "v" algum)

Basta que algum veja algum, que haja pelo menos um par na relao.

vI[2] = V sse Mr I(2) (sse algum "v" todos)

Por exemplo, no universo UI = {1,2,3}, a relao {(1,1) (1,2), (2,2), (1,3), (3,2), (3,3)}

vI[2] = V sse Dom I(2) = UI (sse todos "vem" algum)

Por exemplo, a relao {(1,1), (2,1), (2,2), (2,3), (3,2), (3,3)} no universo UI = {1,2,3} no
universal, mas seu domnio universal, pois todos objetos do universo aparecem como primeiro lugar
num par.

Significado Formal

Tomemos a seguinte frmula:

( xF1x R2ab )

J vimos que, independentemente de uma interpretao, no podemos dizer o que a sentena

significa; independentemente de interpretao, no sabemos quais so suas condies de verdade.

No entanto, percebemos que a frmula em questo s poder ser verdadeira numa interpretao
desde que essa interpretao satisfaa certas condies:

( xF1x R2ab )

Todo objeto do universo deve pertencer ao que I associa a F1 e os objetos que I associa a a e a b devem se
relacionar por I(R2) de tal modo que I(b) seja imagem de I(a)

(Obs: Como " relacionar-se" ambguo (dizer que os objetos o e o' se relacionam numa determinada
relao binria R pode significar que o par (o,o')R mas tambm que o par (o',o)R), se (o,o') R,
diremos que o v o' por R e o' visto por o em R.)

Podemos chamar esse significado de "significado formal", pois ele leva em conta somente a forma
da sentena, no o contedo que uma determinada interpretao atribuir s constantes no lgicas.
Dada a definio de verdade, podemos dizer que o significado formal de P1a que o objeto
denotado por a (em seja qual for a interpretao) pertena ao conjunto que a interpretao associa a P1.

Assim,

SF[P1a] = I(a)I(P1)

(Obs: Ao invs de I(a), I(P1), I(R2) etc. podemos adotar a seguinte conveno: a, P, R etc.)
 Aulas CS e SF

SF[P1a] = I(a)I(P1)
SF[P1a] = a P

De modo anlogo,

SF[Q2cb]: (I(c), I(b))I(Q2) (para simplificar: ( c, b ) Q)

SF[R2ab] = ( a, b ) R

Quanto s letras sentenciais, fcil:

SF[P]: I(P) = V
pois P verdadeira numa interpretao se e somente se essa interpretao atribui o V a P.

Negao de atmicas

SF[P1a]: a P
SF[Q2a,c]: ( a , c ) Q
SF[P]: I(P) = F

Moleculares:

Vejamos um exemplo:

(Q1b S2ac)

Sabemos, pela definio de verdade, que o valor de verdade desta sentena igual a V se e
somente se cada um dos "lados" verdadeiro. Assim,

SF[(Q1b S2ac)]: Q1b verdadeiro e S2ac verdadeiro

ou seja,
SF[(Q1b S2ac)]: b Q e ( a, c ) S

Ora, afirmar que Q1b verdadeira afirmar Q1b.

Assim,

SF[(Q1b S2ac)]: SF[Q1b] e SF[S2ac]

Temos, como uma regra geral, que,

para sentenas e , SF[()]: SF [] e SF [].

Note-se que o uso de conectivos pode se sobrepor:

SF[(Q1b S2ac)]: SF(Q1b) ou SF(S2ac) = b Q ou ( a, c ) S

Analogamente, para as demais sentenas moleculares.

Negao de moleculares:
 Aulas CS e SF

SF[(Q1b S2ac)]: no o caso que b Q e ( a, c ) S = b Q ou ( a, c ) S

SF[(Q1b S2ac)]: nem b Q nem ( a, c ) S

SF[(Q1b S2ac)]: b Q e ( a, c ) S

SF[(Q1b S2ac)] : b Q se e somente se ( a, c ) S

SF[(Q1b S2ac)] : b Q ou ( a, c ) S

SF[(Q1b S2ac)] : b Q e ( a, c ) S

Equivalncias entre sentenas moleculares:

Obtermos, assim, uma srie de regras gerais que permitem chegar a certas equivalncias.
Comparemos, por exemplo, sentenas da seguintes formas:

() e ()

Ora,

SF [() ]: no o caso que tanto quanto sejam verdadeiras. Mas isso equivalente a dizer que
ou falsa ou falsa, isto , SF[().

Com o mesmo tipo de racioccio, recorrendo s condies que qualquer interpretao deve satisfazer para
verificar uma sentena, podemos perceber as seguintes equivalncias lgicas:

SF[()] = SF [()]
SF[()] = SF [()]
SF[()] = SF [()]
SF[()] = SF [()]
SF[()] = SF [ () ]
SF[()] = SF [() ]= SF [(]
SF[()] = SF [ (()()) ] = SF[ (() ())]

Exerccio: mostrar essas equivalncias, mostrando que impossvel construir uma interpretao que
verique uma e falsifique outra.

"Equivalncias" entre frmulas abertas

Podemos dizer que duas frmulas abertas so equivalente se e somente se, em qualquer interpretao, elas
so satisfeitas pelos mesmos objetos.

Tomemos o seguinte exemplo:

CS[(F1xG1x)] = Cmpl (Cmpl F G) = F Cmpl G = CS [(F1xG1x)]

Com isso, temos a seguinte equivalncia:

 Aulas CS e SF

SF[x(F1xG1x)] = SF [x(F1xG1x)]

Algumas regras teis:

Se e so frmulas abertas cuja nica varivel livre , ento, para qualquer interpretao:

CS[] = CS[]
CS[()] = CS [()]
CS[()] = CS [()]
CS[()] = CS [()]
CS[()] = CS [()]
CS[()] = CS [ () ]
CS[()] = CS [() ]= CS [(]
CS[()] = CS [ (()()) ] = CS[ (() ())]

Exerccio: Para cada igualdade acima, mostrar que impossvel construir uma interpretao na qual uma
frmula tenha um conjunto soluo diferente da outra.

Significado formal de sentenas gerais:

O que necessrio para que

xP1x

seja verdadeira?

Que todo objeto do universo seja P, que tudo seja P, que todo objeto do universo pertena quilo que a
interpretao associa a P. Ou seja, que I(P1) seja igual ao universo da interpretao. Logo,

SF[xP1x]: I[P1] = UI

Vimos que, de um modo geral, uma sentena da forma verdadeira sse CSI[] = UI.
Assim, podemos dizer que

SF[xP1x]: P = UI

Analogamente,

SF[xP1x]: P

Tomemos agora as frmulas abertas moleculares fechadas por um quantificador:

SF[x F1x]: O que est fora de F deve ser o UI = Cmpl F = UI

SF[x (F1x G1x)]: F G = UI

SF[x (F1x G1x)]: F G = UI

SF[x (F1x G1x)]: F G

 Aulas CS e SF

SF[x (F1x G1x)]: F = G

SF[x F1x]: Cmpl F

SF[x (F1x G1x)]: F G

SF[x (F1x G1x)]: F G

SF[x (F1x G1x)]: Cmpl F G

SF[x (F1x G1x)]: F G ou F G UI

Interdefinio de quantificadores

Considere a seguinte sentena:

xP1x

Para qualquer interpretao, ela verdadeira se e somente se nem todo objeto do universo est em I(P1).
Ou seja, ela verdadeira se e somente se existe um objeto do universo que no est em I(P1). Da que:

SF[xP1x] = SF [ xP1x]

De um modo geral, temos que, para qualquer varivel e para qualquer frmula :

SF[ ] = SF [ ]
SF[ ] = SF [ ]
SF[ ] = SF [ ]
SF[ ] = SF [ ]

CS para predicados binrios

Por enquanto, o conjunto soluo de cada frmula atmica sempre dado imediatamente pela
interpretao. Mas retomemos agora exemplos do seguinte tipo:

R2ax

Quais objetos satisfazem essa frmula? Aqueles que so vistos por a (so a imagem de a) em R. Logo,

CSI[R2ax]: objetos vistos por I(a) em I(R2) (objetos que so imagem de a em R)

Ou seja, em I(R2), devo ter um par (a,...)

Analogamente,

CSI[R2xc]: objetos que vem I(c) por I(R (tm c por imagem em R)

Em I(R2), devo ter um par (...,c)

 Aulas CS e SF

Com isso, fica fcil determinar:

CS[R2ax]:

CS[R2ax]: objetos que no so vistos por a em R

CS[R2xc]:

CS[R2xc]:objetos que no vem c em R.

SF para sentenas com predicados binrios

O que ocorre agora se quantificamos sobre uma frmula como essas ltimas que vimos Por exemplo:

xR2ax

Ela diz que o CS de R2ax o universo de I:

SF[xR2ax]: todos os objetos do universo so vistos por a em R (podemos dizer que a um "mirante"
em R)

Ou seja, deveremos ter, para cada objeto do universo, um par (a, ...)

Analogamente,

SF[xR2xc]: todos os objetos do universo vem c (podemos dizer que c um "foco" em R)

Tomemos agora

xR2ax

Ela diz o CS de R2ax deve ser diferente do vazio, isto , que deve haver pelo menos um objeto que visto
por a em R:

SF[xR2ax]: algum objeto visto por a em R

Devo ter um par da forma (a,...)

Dizemos que os objetos que vem algum objeto por R esto no domnio de R.

Logo, podemos dizer que

SF[xR2ax]: a Dom( R) ( a pertence ao domnio de R, v algum objeto por R)

Analogamente,

SF[xR2xc]: algum objeto c em R

Equivalentemente:
 Aulas CS e SF

SF[xR2xc]: cCdom( R) ( c pertence ao contradomnio de R, visto por algum objeto em

R)

Ainda:

SF[xR2xc]: cCdom( R) (nenhum objeto v c por R)

SF[xR2xc]: nem todo objeto v c por R

SF[xR2xc]: nem todo objeto v c por R

SF[xR2xc]: cCdom( R)

Gerais com predicados unrios e binrios

SF[x (F1xR2ax)]: F {imagens de a em R}

SF[x (R2xc G1x)]: {objetos que tm c por imagem em R} G

SF[x(R2axQ2xc)]:{imagens de a em R} Cmpl {objetos que tm c por imagem em Q}

Moleculares com gerais como elementos:

SF[(xF1xQ1b)]: ou F ou b Q

SF[(xF1xxR2ax)]: ou F = UI ou {imagens de a em R}=

Dois quantificadores:

SF[xyR2xy]: R

SF[x(F1xyR2xy)]: F Dom ( R)

SF[x(G1xyR2yx)]: G {objetos vistos por todos em R}