10
Definition
•
Denote
m
(
f
) = lim
n
!
1
m
n
(
f
) if it exists
•
•
Definition
A logic L has a convergence law if
for every sentence
f
,
m
(
f
) exists
•
•
Definition
A logic L has a 0/1 law if for every
sentence
f
,
m
(
f
) exists and is 0 or 1