Logica proposizionale basi (lezione 1)

N

-i. G~{Uls~vY\. b:;),~,

..

- 2. • 'è~~

e....

't~<9'\AlL 1V\

ft~o:v'-'t ..

~. .l~ .;v~k

J vu!l-

V\.à,V'l~..o--vV<.. ~ rv

.kr\~~t-.? k;~

'\~J~~ ~ Jvvl\-v~)

L Thv-~ ~ )'1

r~

ck

at,.\,q'~

r;V'\~ ~ i,,~J-C?

e. ~V\t(..d

rV'VKV~ ~ 'i.~

lv~ f'v ~fk~

4=. l . ~

C' .) r~

alo C f

p)

e =-

b

va. $v

co s ~ ~ ~

- ~ p e a. <Vì'Q

- . Iì>~ì

\l'GIJ\, , S\

\.NI hoVl ~ lM.oa J "'"

l f

a.ll.", s.;(

f'~" P--t) \) Svb

P,' P) ~ b( Cf',) u

P, F-. P,- \ Su

- "- p ~ p" ~ p

V ~L

~rvlM.vl L

f~ p

PL-

Poi- e f",,'V/e; l "" l"""e'rJ.

f J:

u

:;'U f"'~

b P.)

>Il. ,JI" 'P

-s

- "- p - ~ Cf') - p~

p" p

j, (

v.l u

I"

.L J; ""~ "'&•...

;\-"...J

gv,;~ ,; ""11'~,.J-"";"",,,- ("'"",ub.

A\l-o N"'<l P,

~~ >M.oclo:

,.J;."-..

le. Jb....o

àJl.'

• p •. I

,J.. 00

f'" '"

lo. f"~~vl.

h..L ,,'.,: ha ",",,".m"o r;~e;f<W.

Q ::

• \<. ;., ~ lt",c.fJ; .I.'

Soll-of"'m

J;J"JIJi

l"!!: ./.Jl.... Q

..ll.....

b;~.v;,) Q -. 2.

r~- rl

r""~.,.,

ve';'.

1 "",",Jl-:

""L, fa

«; ha '"

€Q •

• "- i. - r-t;. VI> <M •••• :0 J

rv.~e'r.t..

..t, J.UJ,; rJl"f'..... •

JJI. J:

.>ll.~ Q.

Q >v"; •.•.

· /. d;· r'r'it.o..J:

J""r

U' -,J,.l "t""k)

(r'"'

Jb." 1W r-

J:::k

J;

r--k.

.wl. -"m.,,,, ."....w.. ~ ~ la

(I VcW'Ì

vVlc\

O""''''''-~ V••. .l; ,.,L4Ve

;J"t... ,:

la .J,,: u

r.t

C

F" J... ""'"

f •...t:""1-. ~ f""".la

- .r,w;..l.;(., ,l~ "".

+'"

p>Y'" t"

"la \'" coJ..........

Ik (t" •••• va..o'J,; ~ ) .

ve J~

f' cl.... e

M. c-,.,.J, '" Co"'<f'''"'''' ,_ ~

L. I.. IP\ .;: ;/ "'

L"", ~ -- v~u

ckr'\Il:k " \~~ : FQr,"1 ~.~ Ji,~

e

-- ~ ? {Pj:=. o

iMà ~,

r•. I P,I .J1.,.., I fPd

- "- P. 11'1~ IP.•.

f.•.

f. " l'L

P, + +-i

-+

If

- ~ f I +~

-d''i ~~ Wl::>

= PoI ,

1v.f..'l'C' .- .l; lJ

J.r;~;t. ","o

~'t~("

.,.tl.. I. -;..1;(, i.

n.b. ~ Ccwu.

Fr .}tlo I

~ f r" P\ =

Q; 1.

l,M<\ ~, Ifd

Q r.

l

p~ fp. +

P f< ?~ 1ft Ip~1 IP.I

VP,

-'ì.<. io z:

A vo.. , <f)

d,

v.l, '"

JJh L . 4 &.J,;\,

.L

r

. 1. r ve, ~\

VJvtH;~ , (l'L. 'j .j,lMicL

r~; t,' \

r" !.

eov..c~dò I. fll FVvYl

l ..\-

b'

f>"VVl.vh- cL ~

0'fì I ~r'~eM..lO

vVl-a dV- vclXf;:, v'€-v ~ ",- çjQ.~

I/'l

Q. l

-l' ~ . eJ-~

V.w --:.. 1.

V"'~ n , v'

l \ O 1 )) V ;'1'

vJu'd.t\QIv\,SL. ~ lI(Wi~;! e DJ

h~ .

Wlò ~1

n,vm -- \ -IJ

-~ f'VMV~ v ": o~ \II.lQ>l ~

k~ v*Cp)=v'{p)

-~ PE VatV" A~

f (Q )

Q V'~(p)

- 'k 1 _"

==

= -. C

v"C,,)

f' (Q~))

Qz .tI.o", (Q..),

- <;,. Q, = "':

A V

n V

e:

= atl,,,,, (vCQ~),vCQ,)J

P V-Cp)=

Q.-( VG. "'al<

-<.te q--.. A", = vCQl))

""(r ) CQ~),

- 5<-f' v "'''l< (~ _ li

= Qt r- t.

r'~.!'

(""'" ••L\ ",;~ k .• ~

J; """'V>L J;

'1,;...\; ~'<. vev; J

w. J

r-~; v

!",or ed... .,'

<lIk

vJo"<..\..: "",.'1.' v•• ,

JJ. ","",(";'0"'"

ve, +v~.

tJJe.. r",L;L

.1; ~ eoJ-~

T;wol. (dJt\ k

f"v"",l..) e "'ci. !. cl

cc...."', ~at~: vJ"", v••. 1v:~.l tv~o' ; la

fVi' ~ f''''''

.kJk

.k """,ti)' r- """

w.l..

r

C ..L

f" tJJ.I..

"t'i t.n

~e",. "i" "le. " "".

e ~ i

"ì COVI'; CML })

v;~)

W.

f'v ~. k "'- " Viw;,\,.l; ,; "'" ..""'.- "",,, <».. 2.

M

-h-. ~" r"'~·l.

p ) ......•f'v""vla p,

",a _ I,

..t. J,;

F" ...L~ -hl

"',,",o "",

s se ., , al .lJl., """ .. o

<cl-..

e 1;""" i )

(P) _

.;; "000, L€

q i > "..J,. ~ +.J

eh l. l. v,,>a cl,.

ck Id

€ ì,

fè••••.• valini9lt

«<.

Cl o IMa s:

"'\V \;;.,: .- \

k fvw",h e s; )

~j~~~~ l= P

V

lit/Vi\A;.

ar' .b,t J\-i •.•.•.•. ci

,J.,b" ~""" ~.. ..l.. v.w:

• i io

TA"To Lo ~f*'e

&1") '" \"" t=

v mct

Cp) -;: P

1. \'vi ~ C&-~ "'~ c.oh

I Cé

. ~F-"; è~Qv\; i"

t.lu

'I-...t [.,,;•. P J.,'"l

J .....kl: l"

e P

""à +0

e

• ••• P.;; ""'" ti

$'Se ~ OV1R. J .,..

S-fàC:

? b-\~

i ~~ ~lo~

r"'-"'" k.

,,~ lò. x_~/

A XVI

J~e.w.. e ~ v'

V 2.

v<w e wu..o ~~~Q1A.;

I

-00-

r-v ck

CO"'~ '\ a1\o~ k;}

v(X;)==V'{Xit v(A)-=v1{A)

=.-1,o ... 'i>:

/Vl

S, l A Q.htt.. X "l [~/x] ~

f"'''''''

e c'H\..o e. l) A

vav ;;YA.o ~

foV'M e v\Itd cl

i

A

Ì\\.L\\\,~'dMA..~~~

~v co>~:

~\\It1~L e

J

JL, x

A [

- S A X BI

e = =

Ifc\

- s, (CC»1 A~

A=Y '1IX) A[e,/xl-=A 1)

--'(A.

ot,,.

,A, A [I)/x

- ~ A [B/x]

= =

fA,

* ~ 1

"A.

- s, (Co~ Ce,/x

v, A4 CB/xlii A.

-}).Jl.", =

A, A [IS/x]

A~ "t" ,..." t ~

"f' lo

,J't '

"'0'''' "" ., nella k

A-LC/] A B.

'v , ><

's' I

s . x ve f>,

I Fov-~

1 ,I

u FoV"~ Covt

v), ri' "

"'lor" I

<wc""". "

A ""'lA

'1-"" e.

• ~; a Vdv. ',a ..,

n

V"" <M " )

l '~va

v.

l \ D POVWtvta ~V8

tJ.vr'à.

A [B, / x ] cE +--clV

\Md

A l= A S5e

J; 1:::,-t=A

A)

1M. , ~VVYl: ~ f'" '"

t•.•.

;"""'"

, '-'- <o.1ls~

v.t J: ;,o""

v "".. J'f alt, L

1:. w..

<';, v: c,' "" ,,-

V cl. f,

",-",-c1..

'l''- J .

L 9";".\.' "li; 6 A

e v "'" V

V 1.....

'"

Ju. li

Lg:",

1.0 <W"" """ V(AJ _

A .;: .6 /

v •• J::.. """ •." Mo cc•.• j, •

1 ('A) , r, . (

v l V(>v{h,

1/;"" ~ I..)

e

''f'" I, l

o • ~"'" in ""U's('ac:J.,

6

a, A

= V ""'" U

'io ÙUL

k ,

.) '0l'r",i......" ck ì J~" J... s.il :'F"

f !" f.ti

s:. ,,"" ao,' v.L

';j ~ ""'.. 0"",- 6.,

f:, V ["" 1"".1:

'.Io.ll;'fdC:I"l, e v(A)-:I

.&....• 6uhlj __ v('~)~a

"- V('AJ~;, é

i'"

v ,.t l"

e

1 J: ["

co"sr~tà

A Cl

s, V

1=

A B ~~ v)

A) e,)

(A ~ 1-

== k

VM-wtrt

\J )

~~-k~-à .

e:

A~ ~ +",;"",,- f>,)

v.l .,[,I,i;,_

s; v v(

•) V,«.;""," Il A :i d.

o lò. v (" ) ~

--'> ~4

-c: ,I

~I; "'""h~) J--.~ =

1\ )

Z.kr. l', """""Ah 1- O

a,v,'

ve >!

<e v (

( \". "'''h' VQ "~r (;

r , d.. r

à; lor ~ ••.

b. ì~,.'

3"~ ~ "" B Il "

<.u.uc f"'""o \.. s.. '<f

i_

v). ca

:;: \'d L

J A _ '" o ,\ .

<':

~ ~ -.., t.) \vtdt'-<9 CoVI:

~ì

r 1\

l=

B 8

A

/=" ss e -li

AEf"

v.J.~t

l

E v; 't-J L~('8 6i ~'- ..tJ,

'4

..,ol u.

f" •

Doe B """"" r'

A e C B) T'

A :: k

r k

*'''''''

,.•

U (A) (B) (~ ""'0

v s,' ~a =

V V ti~ ",vJJ,

"'t

e,

lo"""", lo. ~"". 'ho.L. li )

,lì ve»;

••••..es. ~ ;w.,o~J;"a ~ ~vtJJva.

A \J(Bvc)::= (AVi»)\fC ~vA

A v~:::.

=- (A

A (e

A I\c) I\~)J\C

i'

b. I n