L4.4 Predicate Logic Part-2
L4.4 Predicate Logic Part-2
<\:
;J.
<t.
>' -t <\: Ill <t. f
QI
'JC
,c I'- ;J. I :s
~> l\= ! I '!<
t 111 uJ <j:'
"(" '){:
<f:
ill 111
if/- lLJ
1: llJ <I:.
'IC <t::.
; «-C
UJ 1-
'i: i><
r!... i<
1
r
t rr1
llJ
;,
lL/ ~t
"<:
,t w ,J
'le
ll!
x "
(~
cg
I
,
q: p
X
J!.JI
'9C ,><
~1? i l
' ,
ii~( t t.
\l~ p
\1?
.,. :;... --C-
er
v V
--c v e (l'\ '--' (
f:_ 4/ UJ u! 2:
ill <t {. .J
'!-C g.c r-- v
"-<: ('
S: i. I- x Ir. 7 J ct.
1'= ,--, r, r---, _, q: 'f 'l=
! ,'<. 7 1}2G' r-- f
')( 'lZ
---l -1 <---
l.!! "' r-,
<t r;;: ~- '--"' . t -,:,
X C -'I '---' v
X r, (;[
2 0r-,, """
\)
I/
6
r!- (?:'
,.____,
!JC
i
Q;'
" 'lt. x '---' =
'ii; "-,
'---' --
N
l
$ t l
> s;· s:
t
s;· t ii \1 i
ll.l 1!J V V t
II IJ
...,,
f f
r-,
IA)
LI)
'l-C
QC 'JC
r--, 6 <\: Jll
).!J
'f.
'9L' ,.; t
'"t)
c:,
0 r---,
" V>
[ r- <JC q.i:
llJ
j.
-....,
, -" "' ..__., 8 LU ill qc
9(
<
t
-,-,_ )
tr- /< r' s
l "-(
2
c)
<::. ? '§ l
'co:
'c-;
H :"
-0
r;:
-,:,
r;:t
"
'J' -j
'f':i $ '>C
</(.
" r--,. 9-c. '-' s::
QC
c '--
t rr-. l
- <>C
c r;: ;J. -,., V'\
'----' \'.2.,
¢:::J ,x w '-.....,
L__}
'-----' L...J L....J
e f
f t
\.:_;
@ G
@ @ (9)
t
Ll.l <j:'. l.11 w <\: \It
x >< v
r-
-r. ;>/ <\:.
x 111 r:;i 11 1 111 \) ,:/ x
1\\ 0
,< 0
r---, S' Q ,-,
'-' r-,
(;:f v \') ;, (N.' v
"< ;, l' N' '7 C ""b
> > '---' 11
jD ID
u 7 < 7 < 2
'? < Q <. <.
't<' p )
'R" ¼ <.
'-:::::-i c..::::, '---' '/3 fl:
L.J <t- < < st. l:::, p
;,,/. > '-..J
II
x i
'-
V 71'
4'>
-l!i )1:) C p L.._j
fl / LJ
1 < >
'-..1 ;, !,Q !lJ
""t) "1) lJJ Lj ,€$1 ,, Iii
'--- Q
< II) fl:) 9
111 i
, i<
0 ..., . r"
LU re: l7
'Ti '"'O
t'2
)( 7::, ( ---:i <
x Ix: 'h !) p 9: \)
'-'
)D v 'X
'b r< Q < '---'
0s, '----'
'x' '-------1 :'I
'-.... \JJ
l;J ""
Q' v
'---' r-
X lb
1-
y:,
' e:
9:: JD
e
iliE @ @
Ir,
I @~ (/J I
U)
w w {. ,j:: <t.
<\: ill \11 ii) ..;
fl / f/1 t ;J.. Il l 11 1 )( >I r
;< ., r- r--, r-,
r- r-;
r-, <j: i- I' J {. v
.---.., \)
w 'I- -0 L) ",[, ;, <
7 r!
"t ;',
r;:;:,
" Q'- ?< J, -J., < )D
" w' f) p
'- ;< lJJ '? r--, 'J' ';l:
(]', p <j:_ ';i' r;;:
st u '---'
c:::'.,
-0 r< Q ¼ C::'.i
l r;;:, c::::::, x s:: L..J
1 ..,,, (ii:'
" Q-" l II)
x y::, 11 I
p 1K '--'
"-.,
/ff R) Ill
c..._J <;;
-:::::,
J, <' \) \) 2 I) G 7:,
ill (. G
Il l ID <
Jt) £l J, t::'.i " ;:,
~ ---
£'.(o/YYL() ~ '