Egzamin z logiki, II termin, 6 września 2005

background image

Egzamin z logiki, II termin, 6 wrze´

snia 2005

1. Skonstruowa´

c w rachunku sekwent´

ow dowody formu l

(a) ((p → q) → r) → ((p → r) → r);

(b) ¬(p → ¬q) → p ∧ q.

2. Jedynym symbolem sygnatury Σ jest dwuargumentowy symbol funk-

cyjny g. Rozwa˙zamy algebry postaci N

g

= hN, gi, gdzie g jest funkcj

,

a

dwuargumentow

,

a. Czy formu la ∃yz(x 6= y ∧ x 6= z ∧ g(x, y) = g(z, x))

(a) jest prawdziwa w pewnej algebrze N

g

?

(b) jest spe lnialna, ale nie prawdziwa w pewnej algebrze N

g

?

(c) jest spe lnialna w ka˙zdej algebrze N

g

?

Czy klasa wszystkich algebr, w kt´

orych nasza formu la jest prawdziwa,

jest definiowalna r´

owno´sciowo?

3. Teraz jedynym symbolem sygnatury Σ jest dwuargumentowy symbol

relacyjny R. Przez ϕ

n

, dla n > 0, oznaczymy formu l

,

e

∀x

1

. . . x

n

(R(x

1

, x

2

) ∨ R(x

2

, x

3

) ∨ · · · ∨ R(x

n−1

, x

n

) ∨ R(x

n

, x

1

)).

W szczeg´

olno´sci ϕ

1

to formu la ∀x

1

R(x

1

, x

1

). Zbada´

c, kt´

ore z formu l

ϕ

n

→ ϕ

m

, dla m, n > 0 s

,

a tautologiami.

4. Czy prawdziwe jest nast

,

epuj

,

ace twierdzenie: Je˙zeli istniej

,

a algebry

wolne w klasie K o zbiorach wolnych generator´

ow dowolnej mocy, to

klasa K jest definiowalna r´

owno´

sciowo?

background image

Rachunek sekwent´

ow

Os labianie:

Γ ` Σ

Γ, α ` Σ

(LO)

Γ ` Σ

Γ ` α, Σ

(PO)

Wymiana:

Γ, ϕ, ψ, ∆ ` Σ

Γ, ψ, ϕ, ∆ ` Σ

(LW)

Γ ` ∆, ϕ, ψ, Σ

Γ ` ∆, ψ, ϕ, Σ

(PW)

Skracanie:

Γ, ϕ, ϕ ` Σ

Γ, ϕ ` Σ

(LS)

Γ ` ϕ, ϕ, Σ

Γ ` ϕ, Σ

(PS)

Negacja:

Γ ` α, Σ

Γ, ¬α ` Σ

(LN)

Γ, α ` Σ

Γ ` ¬α, Σ

(PN)

Koniunkcja:

Γ, α ` Σ

Γ, α ∧ β ` Σ

(LK)

Γ, β ` Σ

Γ, α ∧ β ` Σ

Γ ` α, Σ

Γ ` β, Σ

Γ ` α ∧ β, Σ

(PK)

Alternatywa:

Γ, α ` Σ

Γ, β ` Σ

Γ, α ∨ β ` Σ

(LA)

Γ ` α, Σ

Γ ` α ∨ β, Σ

(PA)

Γ ` β, Σ

Γ ` α ∨ β, Σ

Implikacja:

Γ ` α, Σ

Γ, β ` Σ

Γ, α → β ` Σ

(LI)

Γ, α ` β, Σ

Γ ` α → β, Σ

(PI)

Kwantyfikator og´

olny:

Γ, ϕ[x:=t] ` Σ

Γ, ∀xϕ ` Σ

(L∀)

Γ ` ϕ[x:=y], Σ

Γ ` ∀xϕ, Σ

(P∀)

Kwantyfikator szczeg´

o lowy:

Γ, ϕ[x:=y] ` Σ

Γ, ∃xϕ ` Σ

(L∃)

Γ ` ϕ[x:=t], Σ

Γ ` ∃xϕ, Σ

(P∃)

Ci

,

ecie:

Γ ` α, Σ

Γ, α ` Σ

Γ ` Σ

(Ciach!)

Regu ly (P∀) i (L∃) maj

,

a nast

,

epuj

,

ace ograniczenie: zmienna y nie mo˙ze wy-

st

,

epowa´

c wolno w ˙zadnej formule nale˙z

,

acej do Γ ∪ Σ.

2

background image

Rozwi

,

azania

Zadanie 1a:

p ` p

=======

p ` q, p, r

` p → q, p, r

r ` r

r ` p, r

(p → q) → r ` p, r

r ` r

==============

(p → q) → r, r ` r

(p → q) → r, p → r ` r

(p → q) → r ` (p → r) → r

` ((p → q) → r) → ((p → r) → r)

Zadanie 1b:

p ` p

p, q ` p

q ` q

p, q ` q

p, q ` p ∧ q

p ` ¬q, p ∧ q

` p → ¬q, p ∧ q

¬(p → ¬q) ` p ∧ q

` ¬(p → ¬q) → p ∧ q

Zadanie 2:

1. Tak, na przyk lad je´sli g jest funkcj

,

a sta l

,

a. R´

owno´s´

c g(x, y) = g(z, x)

jest wtedy spe lniona, niezale˙znie od warto´sci zmiennych y i z,

2. Tak, na przyk lad dla g(m, n) =

 n, gdy m · n = 0;

3,

w przeciwnym przypadku.

Formu la nie jest spe lniona przez warto´sciowanie %(x) = 0, bo wtedy
warunki x 6= y i g(x, y) = g(z, x) wykluczaj

,

a si

,

e. W pozosta lych przy-

padkach formu la jest spe lniona.

3. Nie, na przyk lad je´sli g jest rzutem na pierwsz

,

a wsp´

o lrz

,

edn

,

a.

3

background image

Klasa algebr, w kt´

orych ta formu la jest prawdziwa, nie jest definiowalna

owno´sciowo, bo nie jest np. zamkni

,

eta ze wzgl

,

edu na podalgebry. Istotnie,

je´sli g jest stale r´

owna 1, to {1} jest podalgebr

,

a N

g

. W tej podalgebrze

formu la nie jest prawdziwa, bo nie ma tam element´

ow r´

o˙znych od 1.

Zadanie 3: Formu la ϕ

n

→ ϕ

m

jest tautologi

,

a wtedy i tylko wtedy gdy n jest

podzielne przez m. Przypu´s´

cmy najpierw, ˙ze n = k · m, i ˙ze A |= ϕ

n

. Niech

a

1

, . . . , a

m

∈ A. Formu la R(x

1

, x

2

) ∨ R(x

2

, x

3

) ∨ · · · ∨ R(x

n−1

, x

n

) ∨ R(x

m

, x

1

)

jest spe lniona przez warto´sciowanie ρ(x

i

) = a

i

, poniewa˙z formu la R(x

1

, x

2

) ∨

R(x

2

, x

3

) ∨ · · · ∨ R(x

n−1

, x

n

) ∨ R(x

n

, x

1

) jest spe lniona przez warto´sciowanie

ρ(x

i

) = a

i mod m

.

Rozpatrzmy teraz struktur

,

e A

m

= h{1, . . . , m}, R

m

i, gdzie A

m

= {1, . . . , m}

oraz R

m

= A

2
m

− {h1, 2i, . . . , hm − 1, mi, hm, 1i}. Oczywi´scie A

m

6|= ϕ

m

.

Poka˙zemy, ˙ze A

m

|= ϕ

n

dla wszystkich n, niepodzielnych przez m. St

,

ad

otrzymamy, ˙ze ϕ

n

→ ϕ

m

nie jest tautologi

,

a.

W przeciwnym razie mamy ci

,

ag n element´

ow a

1

, a

2

, . . . , a

n

, w kt´

orym ˙zadne

dwa kolejne (oraz ostatni z pierwszym) nie s

,

a w relacji R

m

. Z okre´slenia R

m

wynika, ˙ze r´

o˙znica pomi

,

edzy kolejnymi elementami jest zawsze 1 (modulo m)

a liczba a

j

powtarza si

,

e co m krok´

ow. Tak samo r´

o˙znica a

1

− a

n

jest jedynk

,

a

modulo m. A zatem n jest podzielne przez m.

Zadanie 4: Nie. Rozpatrzmy na przyk lad klas

,

e K z lo˙zon

,

a ze wszystkich al-

gebr wolnych w klasie P wszystkich p´

o lgrup z jedno´sci

,

a. Oczywi´scie algebra

wolna w P jest te˙z wolna w K, wi

,

ec K ma algebry wolne o dowolnej liczbie

generator´

ow. Zauwa˙zmy teraz, ˙ze Eq(K) = Eq(P). Istotnie, dowolne r´

ow-

nanie prawdziwe w w algebrze wolnej o niesko´

nczonej liczbie generator´

ow jest

prawdziwe w ca lej klasie P, zachodzi wi

,

ec inkluzja ⊆. (Inkluzja odwrotna jest

oczywista.) A zatem klasa K nie jest definiowalna r´

owno´sciowo, mieliby´smy

bowiem wtedy K = Mod(Eq(K)) = Mod(Eq(P)) = P. A przecie˙z nie ka˙zda

o lgrupa jest wolna.

4


Wyszukiwarka

Podobne podstrony:
Egzamin z logiki, II termin, 6 września 2005, dodatkowe
Egzamin z logiki, II termin, 6 września 2005
Egzamin z logiki, II termin, 6 września 2005, dodatkowe
MIKROBIOLOGIA – egzamin 09 II termin (11 09 2009r )
egzamin 12 II termin
Egzamin 2010 II termin id 151839
Egzamin 10 II termin
Egzamin 14 I i II termin
Interna egzamin 2009 II termin[1]
Pytania do egzaminu II termin ściąga, Studia, Geofizyka, II SEMESTR, GEOFIZYKA, EGZAMIN
Kolos inżynierska II termin ściąga, Studia, Geologia Inżynieryjna, Egzamin
HISTOLOGIA egzamin II termin zima 13 z opracowaniem
BIOCHEMIA II termin egzaminu 06 i 07 LEK i STOMA by KaMilka
EGZAMIN II termin PYTANIA
Egzamin z logiki, 9 czerwca 2005
EGZAMIN II termin Ĺ?INA
zagadnienia z egzaminu I i II termin z 15 roku

więcej podobnych podstron